libgnatcoll-gmp-dev (25.0.0-2.1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- libgnatcoll-bindings
- Architecture
- amd64
- Section
- universe/libdevel
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 524 B
- Size expected
- 70 kB
- Size actual
- 70 kB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
Ada binding for GMP big numbers (development)
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 8066e9ea…f0da3e90 | |
| SHA-1 | ecd4b7f8…e6dc414d | |
| SHA-256 | 7fe4c15e…1416cc08 | |
| SHA-512 | bd5cf78c…e12ecab0 |
Contents
Files and directories included
. usr usr/lib usr/lib/x86_64-linux-gnu usr/lib/x86_64-linux-gnu/ada usr/lib/x86_64-linux-gnu/ada/adalib usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp 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/share usr/share/ada usr/share/ada/adainclude usr/share/ada/adainclude/gnatcoll_gmp 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 usr/share/doc/libgnatcoll-gmp-dev usr/share/doc/libgnatcoll-gmp-dev/copyright usr/share/doc/libgnatcoll-gmp-dev/examples 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 usr/share/gpr/gnatcoll_gmp.gpr usr/lib/x86_64-linux-gnu/libgnatcoll_gmp.so usr/share/doc/libgnatcoll-gmp-dev/changelog.Debian.gz