Package: libgnatcoll-gmp-dev
Architecture: amd64
Version: 25.0.0-2
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: 536
Provides: libgnatcoll-gmp-dev-4d01a245
Depends: gnat (<< 15), gnat (>= 14), gnat-14, gnat-14-ade93c16, libgnatcoll-dev-3f1adedd, libgnatcoll-gmp21 (= 25.0.0-2), libgnatprj-dev-d2efe833, libxmlada-dom-dev-ddbcd37f, libxmlada-input-dev-3560b78e, libxmlada-sax-dev-68924724, libxmlada-schema-dev-f1babbc4, libxmlada-unicode-dev-ccca6fb4, 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-2_amd64.deb
Size: 72958
MD5sum: 48d7272e5ecc98e89c5d0b3dfea0af0e
SHA1: 02ad7eede6fcd672df7f8ac54eaaab8aceafa109
SHA256: 6395b383d1e7b190e964274f4edaae607e55071cbb4a647d6bf70001d2648789
SHA512: ee5ced56ff79e53bef8ae290941881aa71433c713fc58936213e17aa43b1e77aa28d732632b22d87646a04f10f485d48ff2734442f4afb2bd415594d35a30531
Homepage: https://github.com/AdaCore/gnatcoll-bindings
Description: Ada binding for GMP big numbers (development)
Description-md5: fd21276af43fd168459e18c2876feb2e