Package: libgnatcoll-gmp-dev Architecture: amd64 Version: 24.0.0-2build2 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-2e6a667c, libgnatcoll-dev-f504ea57, libgnatcoll-gmp21 (= 24.0.0-2build2), libgnatprj-dev-dda4ab3e, libxmlada-dom-dev-39049606, libxmlada-input-dev-36eb156f, libxmlada-sax-dev-1c542f52, libxmlada-schema-dev-2142e5ac, 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-2build2_amd64.deb Size: 71226 MD5sum: 54c2e01af59c7f33c31764ac62e760c3 SHA1: eb2803c6138e36846c0cb2709a893ae3e71864b4 SHA256: 209db51618d5b0b732176a98b9e1b17a466fe2ff624a05ce3838cb42941f3e8b SHA512: a662e7ae1fee9d542713d318f9261595b8fe4f8fc73eb0b450882dbbe90ad9c0862a04b143dec49d243b86115bf9274da6eed489fffc1a6a4d71e34f78973b18 Homepage: https://github.com/AdaCore/gnatcoll-bindings Description: Ada binding for GMP big numbers (development) Description-md5: fd21276af43fd168459e18c2876feb2e