Base Package:
mingw-w64-gnatcoll-gmp

Description:
GNAT Components Collection - Interface to the GNU Multiple Precision (GMP) arithmetic library (mingw-w64)
Group(s):
-
Repo:
mingw64
Homepage:
https://github.com/AdaCore/gnatcoll-bindings
License(s):
GPL-3.0-or-later WITH GCC-exception-3.1
Version:
24.0.0-2
GIT Version:
24.0.0-2
Anitya:
gnatcoll-gmp
AUR:
25.0w
Gentoo:
24.0.0
Repology:
gnatcoll-gmp

Installation:
pacman -S mingw-w64-x86_64-gnatcoll-gmp
File:
https://mirror.msys2.org/mingw/mingw64/mingw-w64-x86_64-gnatcoll-gmp-24.0.0-2-any.pkg.tar.zst
SHA256:
1468c23c94f088941fc5f6145682feb39611a729a0cccd35d20f5e64f4d743f9
Last Packager:
CI (msys2/msys2-autobuild/9c7e8d31/9016917514)
Build Date:
2024-05-09 13:23:26
Package Size:
0.10 MB
Installed Size:
1.08 MB

Dependencies:
Optional Dependencies:
-
Build Dependencies:
Check Dependencies:
-
Provides:
-
Conflicts:
-
Replaces:
-

Provided By:
-
Required By:

Files:
/mingw64/bin/libgnatcoll_gmp.dll
/mingw64/include/gnatcoll_gmp/gmp_support.c
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-integers-io.adb
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-integers-io.ads
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-integers-misc.adb
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-integers-misc.ads
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.adb
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.ads
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-integers-random.adb
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-integers-random.ads
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.adb
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.ads
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-integers.adb
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-integers.ads
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-lib.ads
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-mpz_even_p.c
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-mpz_odd_p.c
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-mpz_sign.c
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-random_state.adb
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-random_state.ads
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.adb
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.ads
/mingw64/include/gnatcoll_gmp/gnatcoll-gmp.ads
/mingw64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-io.ali
/mingw64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-misc.ali
/mingw64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-number_theoretic.ali
/mingw64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-random.ali
/mingw64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-root_extraction.ali
/mingw64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers.ali
/mingw64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-lib.ali
/mingw64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-random_state.ali
/mingw64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-rational_numbers.ali
/mingw64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp.ali
/mingw64/lib/gnatcoll_gmp.relocatable/libgnatcoll_gmp.dll
/mingw64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-io.ali
/mingw64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-misc.ali
/mingw64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-number_theoretic.ali
/mingw64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-random.ali
/mingw64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-root_extraction.ali
/mingw64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers.ali
/mingw64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-lib.ali
/mingw64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-random_state.ali
/mingw64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-rational_numbers.ali
/mingw64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp.ali
/mingw64/lib/gnatcoll_gmp.static-pic/libgnatcoll_gmp.a
/mingw64/lib/gnatcoll_gmp.static/gnatcoll-gmp-integers-io.ali
/mingw64/lib/gnatcoll_gmp.static/gnatcoll-gmp-integers-misc.ali
/mingw64/lib/gnatcoll_gmp.static/gnatcoll-gmp-integers-number_theoretic.ali
/mingw64/lib/gnatcoll_gmp.static/gnatcoll-gmp-integers-random.ali
/mingw64/lib/gnatcoll_gmp.static/gnatcoll-gmp-integers-root_extraction.ali
/mingw64/lib/gnatcoll_gmp.static/gnatcoll-gmp-integers.ali
/mingw64/lib/gnatcoll_gmp.static/gnatcoll-gmp-lib.ali
/mingw64/lib/gnatcoll_gmp.static/gnatcoll-gmp-random_state.ali
/mingw64/lib/gnatcoll_gmp.static/gnatcoll-gmp-rational_numbers.ali
/mingw64/lib/gnatcoll_gmp.static/gnatcoll-gmp.ali
/mingw64/lib/gnatcoll_gmp.static/libgnatcoll_gmp.a
/mingw64/share/examples/gnatcoll/gmp/gmp_examples.gpr
/mingw64/share/examples/gnatcoll/gmp/isprime.adb
/mingw64/share/examples/gnatcoll/gmp/square_triangular_numbers.adb
/mingw64/share/gpr/gmp.gpr
/mingw64/share/gpr/gnatcoll_gmp.gpr
/mingw64/share/gpr/manifests/gnatcoll_gmp
/mingw64/share/licenses/gnatcoll-gmp/COPYING.RUNTIME
/mingw64/share/licenses/gnatcoll-gmp/COPYING3
Last Update: 2024-06-23 21:01:30 [Request update]