Package: libgnatcoll-gmp-dev Architecture: amd64 Version: 24.0.0-2build2.1 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-2build2.1), 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-2build2.1_amd64.deb Size: 74496 MD5sum: b58f188f0f2fecd6d685fd46a8782427 SHA1: 0fa31867bed1eca6480d2dc39508f18255989298 SHA256: 272a3bbad03059dce2577ac146c3ed840941975868936ec452bacb77797213b6 SHA512: 7be0cb5a72c9f582744896991caebf10a07de326aa2613629e7cff5b4441262a7f90f3445920f053f32c80dd7cd2a6f04bd393bffb59e8718a1908fed9093610 Homepage: https://github.com/AdaCore/gnatcoll-bindings Description: Ada binding for GMP big numbers (development) Description-md5: fd21276af43fd168459e18c2876feb2e