Package - libgnatcoll-gmp-dev

Package: libgnatcoll-gmp-dev
apt-get install libgnatcoll-gmp-dev

Documentations in package:

libgnatcoll-gmp-dev

Primary informations

Download package: http://deb.debian.org/debian/pool/main/libg/libgnatcoll-bindings/libgnatcoll-gmp-dev_25.0.0-2+b1_amd64.deb (Size: 66.4KiB)

Property	Value
Package	libgnatcoll-gmp-dev
Source	libgnatcoll-bindings (25.0.0-2)
Version	25.0.0-2+b1
Installed-Size	523
Maintainer	Nicolas Boulenguez
Architecture	amd64
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-ade93c16, libgnatcoll-dev-814b33e1, libgnatcoll-gmp21 (= 25.0.0-2+b1), libgnatprj-dev-f0b19c45, 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
Description	Ada binding for GMP big numbers (development)
Description-md5	fd21276af43fd168459e18c2876feb2e
Homepage	https://github.com/AdaCore/gnatcoll-bindings
Section	libdevel
Priority	optional
Filename	pool/main/libg/libgnatcoll-bindings/libgnatcoll-gmp-dev_25.0.0-2+b1_amd64.deb
Size	68016
MD5sum	f09c7b2f2755f49c6b0f4b2eed81fd4a
SHA256	70c9c67c63567f54d93ca5b1df4de75aca1aed978cab7eabbe51dcc26456bd06

Files in package

/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-io.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-misc.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-random.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-lib.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-random_state.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp.ali
/usr/lib/x86_64-linux-gnu/libgnatcoll_gmp.a
/usr/lib/x86_64-linux-gnu/libgnatcoll_gmp.so
/usr/share/ada/adainclude/gnatcoll_gmp/gmp_support.c
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-io.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-io.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-misc.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-misc.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-random.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-random.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-lib.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-mpz_even_p.c
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-mpz_odd_p.c
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-mpz_sign.c
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-random_state.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-random_state.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp.ads
/usr/share/doc/libgnatcoll-gmp-dev/changelog.Debian.amd64.gz
/usr/share/doc/libgnatcoll-gmp-dev/changelog.Debian.gz
/usr/share/doc/libgnatcoll-gmp-dev/copyright
/usr/share/doc/libgnatcoll-gmp-dev/examples/gmp_examples.gpr
/usr/share/doc/libgnatcoll-gmp-dev/examples/isprime.adb
/usr/share/doc/libgnatcoll-gmp-dev/examples/square_triangular_numbers.adb
/usr/share/gpr/gnatcoll_gmp.gpr