libgnatcoll-gmp-dev (25.0.0-2.1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://ports.ubuntu.com
- Codename
- stonking
- Component
- universe
- Source
- libgnatcoll-bindings
- Architecture
- armhf
- Section
- universe/libdevel
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 436 B
- Size expected
- 69.8 kB
- Size actual
- 69.8 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 | f5ff7221…fe3b8da1 | |
| SHA-1 | 4e93a7a2…a9e46648 | |
| SHA-256 | 0ae59249…8679ae3d | |
| SHA-512 | cf05dccb…b34fb290 |
Contents
Files and directories included
. usr usr/lib usr/lib/arm-linux-gnueabihf usr/lib/arm-linux-gnueabihf/ada usr/lib/arm-linux-gnueabihf/ada/adalib usr/lib/arm-linux-gnueabihf/ada/adalib/gnatcoll_gmp usr/lib/arm-linux-gnueabihf/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-io.ali usr/lib/arm-linux-gnueabihf/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-misc.ali usr/lib/arm-linux-gnueabihf/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.ali usr/lib/arm-linux-gnueabihf/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-random.ali usr/lib/arm-linux-gnueabihf/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.ali usr/lib/arm-linux-gnueabihf/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers.ali usr/lib/arm-linux-gnueabihf/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-lib.ali usr/lib/arm-linux-gnueabihf/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-random_state.ali usr/lib/arm-linux-gnueabihf/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.ali usr/lib/arm-linux-gnueabihf/ada/adalib/gnatcoll_gmp/gnatcoll-gmp.ali usr/lib/arm-linux-gnueabihf/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/arm-linux-gnueabihf/libgnatcoll_gmp.so usr/share/doc/libgnatcoll-gmp-dev/changelog.Debian.gz