Package: libgnatcoll-gmp-dev Architecture: amd64 Version: 24.0.0-2build3 Priority: optional Section: universe/libdevel Source: libgnatcoll-bindings Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Nicolas Boulenguez Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 528 Provides: libgnatcoll-gmp-dev-1ac60305 Depends: gnat (<< 14), gnat (>= 13), gnat-13-540d70a4, libgnatcoll-dev-f18b3370, libgnatcoll-gmp21 (= 24.0.0-2build3), libgnatprj-dev-81ad7319, libxmlada-dom-dev-f2a98832, libxmlada-input-dev-0cd4ea53, libxmlada-sax-dev-d7f93166, libxmlada-schema-dev-1b7d1a90, libxmlada-unicode-dev-636dee8b, 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_24.0.0-2build3_amd64.deb Size: 71226 MD5sum: 9f8745413e736f9a5799d42636a3f3d7 SHA1: 0a235cbe72f78795aab84fae411abe75ab0e0a46 SHA256: 4077b5b0e77267f07836a5391de250ac6c477857bc5248ebac55335eed08e23d SHA512: b934ad007e33b2bddf11a0a0d45eef676e1e2855fd8f8a07804dacd772db554b7b1fa388badb7fd0d19eef60321198b601df7214d5cfc4a5fb1ab833c86e5468 Homepage: https://github.com/AdaCore/gnatcoll-bindings Description: Ada binding for GMP big numbers (development) Description-md5: fd21276af43fd168459e18c2876feb2e