Package: libgnatcoll-gmp-dev
Source: libgnatcoll-bindings
Priority: optional
Section: universe/libdevel
Installed-Size: 524
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 25.0.0-2.1
Replaces: libgnatcoll-gmp17-dev, libgnatcoll-gmp18-dev, libgnatcoll-gmp19-dev, libgnatcoll-gmp20-dev, libgnatcoll-gmp21-dev
Provides: libgnatcoll-gmp-dev-bed37418
Depends: gnat (<< 15), gnat (>= 14), gnat-14, gnat-14-e76fada1, libgnatcoll-dev-cbcda256, libgnatcoll-gmp21 (= 25.0.0-2.1), 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
Filename: pool/universe/libg/libgnatcoll-bindings/libgnatcoll-gmp-dev_25.0.0-2.1_amd64.deb
Size: 69964
MD5sum: 8066e9ea16f68926d181a51ff0da3e90
SHA1: ecd4b7f8774271cf6fa3e5acd1556dd4e6dc414d
SHA256: 7fe4c15eff0ea19107b418f06d5184c23e14d2f5a3b84c4248cfe8571416cc08
SHA512: bd5cf78c67de3ca2f7178de0b6fed33bee2fd1849e33372de3b69951b4c925f1c46bd5607fad38b39654b91bb6f2dc8d954f34320782d4887eff9f9ee12ecab0
Homepage: https://github.com/AdaCore/gnatcoll-bindings
Description: Ada binding for GMP big numbers (development)
Description-md5: fd21276af43fd168459e18c2876feb2e
Original-Maintainer: Nicolas Boulenguez <nicolas@debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug