Package: libgnatcoll-gmp-dev
Architecture: amd64
Version: 25.0.0-2build2
Priority: optional
Section: universe/libdevel
Source: libgnatcoll-bindings
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Nicolas Boulenguez <nicolas@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 523
Provides: libgnatcoll-gmp-dev-bed37418
Depends: gnat (<< 15), gnat (>= 14), gnat-14, gnat-14-e76fada1, libgnatcoll-dev-cbcda256, libgnatcoll-gmp21 (= 25.0.0-2build2), libgnatprj-dev-ba370df2, libxmlada-dom-dev-3ce4a125, libxmlada-input-dev-22e31777, libxmlada-sax-dev-68924724, libxmlada-schema-dev-e6391b3d, libxmlada-unicode-dev-40169e21, libgmp-dev
Breaks: libgnatcoll-gmp17-dev, libgnatcoll-gmp18-dev, libgnatcoll-gmp19-dev, libgnatcoll-gmp20-dev, libgnatcoll-gmp21-dev
Replaces: libgnatcoll-gmp17-dev, libgnatcoll-gmp18-dev, libgnatcoll-gmp19-dev, libgnatcoll-gmp20-dev, libgnatcoll-gmp21-dev
Filename: pool/universe/libg/libgnatcoll-bindings/libgnatcoll-gmp-dev_25.0.0-2build2_amd64.deb
Size: 69964
MD5sum: af0ab93f7390038023672eab067c9a17
SHA1: 2b7830ef79e0faf5cfb405df92613d2e1536f2f0
SHA256: ea569b9595cbee5df1999e0ce938e54613d6bbe36bbf4379411b6a2c818603cc
SHA512: 4e53da36177c48dab238e56b825943e94b6797a926b48a4a2f7c8a5402b0c543dd5c12eb8bdf31898c8d7ff20c0066017fc7a9056932d408b61622e9dc08f8b3
Homepage: https://github.com/AdaCore/gnatcoll-bindings
Description: Ada binding for GMP big numbers (development)
Description-md5: fd21276af43fd168459e18c2876feb2e