Package: libgnatcoll-gmp-dev Source: libgnatcoll-bindings Priority: optional Section: universe/libdevel Installed-Size: 522 Maintainer: Ubuntu Developers Architecture: amd64 Version: 25.0.0-2.1build1 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.1build1), libgnatprj-dev-ba370df2, libxmlada-dom-dev-3ce4a125, libxmlada-input-dev-22e31777, libxmlada-sax-dev-68924724, libxmlada-schema-dev-e6391b3d, libxmlada-unicode-dev-0ed80dd6, 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.1build1_amd64.deb Size: 69984 SHA512: 6cdaff184b2cd4f0f736942645e7235b4dc6fceddaebedec28ee8e8fa3697c8dee2c05f8208a61cee21d2db1d3e224773fa0b7f05f01ff9b99238e949a41b020 Homepage: https://github.com/AdaCore/gnatcoll-bindings Description: Ada binding for GMP big numbers (development) Description-md5: fd21276af43fd168459e18c2876feb2e Original-Maintainer: Nicolas Boulenguez Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug