Package: mingw-w64-ucrt-x86_64-gnatcoll-gmp

Source Files

View Changes

View Issues

Report Issue

Base Package:

mingw-w64-gnatcoll-bindings

Description:

GNAT Components Collection - Bindings to GMP (mingw-w64)

Group(s):

Repo:

ucrt64

Homepage:

https://github.com/AdaCore/gnatcoll-bindings

License(s):

GPL-3.0-or-later WITH GCC-exception-3.1

Version:

25.0.0-2

External:

Anitya: gnatcoll-bindings
Gentoo: 25.0.0
Repology: gnatcoll-bindings

Installation:

pacman -S mingw-w64-ucrt-x86_64-gnatcoll-gmp

File:

https://mirror.msys2.org/mingw/ucrt64/mingw-w64-ucrt-x86_64-gnatcoll-gmp-25.0.0-2-any.pkg.tar.zst

SHA256:

5491634616b50be72a17ffc5268288de78065adf269517416663d0f8dd799c41

Last Packager:

CI (msys2/msys2-autobuild/bdd38ec7/12983854700)

Build Date:

2025-01-27 07:18:08

Package Size:

0.10 MB

Installed Size:

1.08 MB

Source-Only Tarball:

https://mirror.msys2.org/mingw/sources/mingw-w64-gnatcoll-bindings-25.0.0-2.src.tar.zst

Dependencies:

Optional Dependencies:

Build Dependencies:

Check Dependencies:

Provides:

Conflicts:

Replaces:

Provided By:

Required By:

Files:

/ucrt64/bin/libgnatcoll_gmp.dll
/ucrt64/include/gnatcoll_gmp/gmp_support.c
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-integers-io.adb
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-integers-io.ads
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-integers-misc.adb
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-integers-misc.ads
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.adb
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.ads
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-integers-random.adb
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-integers-random.ads
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.adb
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.ads
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-integers.adb
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-integers.ads
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-lib.ads
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-mpz_even_p.c
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-mpz_odd_p.c
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-mpz_sign.c
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-random_state.adb
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-random_state.ads
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.adb
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.ads
/ucrt64/include/gnatcoll_gmp/gnatcoll-gmp.ads
/ucrt64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-io.ali
/ucrt64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-misc.ali
/ucrt64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-number_theoretic.ali
/ucrt64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-random.ali
/ucrt64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-root_extraction.ali
/ucrt64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers.ali
/ucrt64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-lib.ali
/ucrt64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-random_state.ali
/ucrt64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp-rational_numbers.ali
/ucrt64/lib/gnatcoll_gmp.relocatable/gnatcoll-gmp.ali
/ucrt64/lib/gnatcoll_gmp.relocatable/libgnatcoll_gmp.dll
/ucrt64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-io.ali
/ucrt64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-misc.ali
/ucrt64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-number_theoretic.ali
/ucrt64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-random.ali
/ucrt64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-root_extraction.ali
/ucrt64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers.ali
/ucrt64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-lib.ali
/ucrt64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-random_state.ali
/ucrt64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp-rational_numbers.ali
/ucrt64/lib/gnatcoll_gmp.static-pic/gnatcoll-gmp.ali
/ucrt64/lib/gnatcoll_gmp.static-pic/libgnatcoll_gmp.a
/ucrt64/lib/gnatcoll_gmp.static/gnatcoll-gmp-integers-io.ali
/ucrt64/lib/gnatcoll_gmp.static/gnatcoll-gmp-integers-misc.ali
/ucrt64/lib/gnatcoll_gmp.static/gnatcoll-gmp-integers-number_theoretic.ali
/ucrt64/lib/gnatcoll_gmp.static/gnatcoll-gmp-integers-random.ali
/ucrt64/lib/gnatcoll_gmp.static/gnatcoll-gmp-integers-root_extraction.ali
/ucrt64/lib/gnatcoll_gmp.static/gnatcoll-gmp-integers.ali
/ucrt64/lib/gnatcoll_gmp.static/gnatcoll-gmp-lib.ali
/ucrt64/lib/gnatcoll_gmp.static/gnatcoll-gmp-random_state.ali
/ucrt64/lib/gnatcoll_gmp.static/gnatcoll-gmp-rational_numbers.ali
/ucrt64/lib/gnatcoll_gmp.static/gnatcoll-gmp.ali
/ucrt64/lib/gnatcoll_gmp.static/libgnatcoll_gmp.a
/ucrt64/share/examples/gnatcoll/gmp/gmp_examples.gpr
/ucrt64/share/examples/gnatcoll/gmp/isprime.adb
/ucrt64/share/examples/gnatcoll/gmp/square_triangular_numbers.adb
/ucrt64/share/gpr/gnatcoll_gmp.gpr
/ucrt64/share/gpr/manifests/gnatcoll_gmp
/ucrt64/share/licenses/gnatcoll-gmp/COPYING.RUNTIME
/ucrt64/share/licenses/gnatcoll-gmp/COPYING3