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
- riscv64
- Section
- universe/libdevel
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 1.1 kB
- Size expected
- 140.9 kB
- Size actual
- 140.9 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 | f5d079a5…d922fc7f | |
| SHA-1 | 462dab49…2421485a | |
| SHA-256 | 4d456b05…334b3c5f | |
| SHA-512 | ab15459b…8a41383d |
Contents
Files and directories included
. usr usr/lib usr/lib/riscv64-linux-gnu usr/lib/riscv64-linux-gnu/ada usr/lib/riscv64-linux-gnu/ada/adalib usr/lib/riscv64-linux-gnu/ada/adalib/gnatcoll_gmp usr/lib/riscv64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-io.ali usr/lib/riscv64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-misc.ali usr/lib/riscv64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.ali usr/lib/riscv64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-random.ali usr/lib/riscv64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.ali usr/lib/riscv64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers.ali usr/lib/riscv64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-lib.ali usr/lib/riscv64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-random_state.ali usr/lib/riscv64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.ali usr/lib/riscv64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp.ali usr/lib/riscv64-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/riscv64-linux-gnu/libgnatcoll_gmp.so usr/share/doc/libgnatcoll-gmp-dev/changelog.Debian.gz