Package: libgnatcoll-gmp19-dev Architecture: amd64 Version: 21.0.0-4 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: 338 Depends: libgnatcoll19-dev, libgmp-dev, gnat, gnat-10, libgnatcoll-gmp20 (= 21.0.0-4) Filename: pool/universe/libg/libgnatcoll-bindings/libgnatcoll-gmp19-dev_21.0.0-4_amd64.deb Size: 43036 MD5sum: 9d735c515bc580151145789ff267cf33 SHA1: 88bb97569f218616bdb4c58b785541a3e5661d39 SHA256: c57631ee8ade3254aacce6d9bad3857d4065aa4860cafba54d74e22474195215 SHA512: 143279a093d18af33aeb2c680830739c731b27e56da0218fff5a3999cf5788c9242c76a2d81fb8d28448f643f96d9d3126d1d7ada35bed53dd7ea13615279797 Homepage: https://github.com/AdaCore/gnatcoll-bindings Description: Ada binding for GMP big numbers (development) Description-md5: 86db7cd7d8977de7aa736eb7e1d949fe