Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: gnatcoll-gmp-devel | Distribution: Fedora Project |
Version: 25.0.0 | Vendor: Fedora Project |
Release: 1.fc42 | Build date: Thu Dec 5 15:28:25 2024 |
Group: Unspecified | Build host: buildvm-a64-30.iad2.fedoraproject.org |
Size: 261442 | Source RPM: gnatcoll-bindings-25.0.0-1.fc42.src.rpm |
Packager: Fedora Project | |
Url: https://github.com/AdaCore/gnatcoll-bindings | |
Summary: Development files for the GNAT Components Collection – GMP binding |
This package contains source code and linking information for developing applications that use the GMP component of the GNAT Components Collection. It is an interface to the GNU Multiple Precision (GMP) arithmetic library.
GPL-3.0-or-later WITH GCC-exception-3.1 AND GPL-2.0-or-later
* Sun Oct 27 2024 Dennis van Raaij <[email protected]> - 2:25.0.0-1 - Updated to v25.0.0. - New subpackage for bindings to the C++ ISO/IEC 14882:1998(E) string class. * Thu Jul 18 2024 Fedora Release Engineering <[email protected]> - 2:24.0.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Fri May 31 2024 Björn Persson <Bjorn@Rombobjörn.se> - 2:24.0.0-2 - Development package dependencies have been adjusted. * Sun May 05 2024 Dennis van Raaij <[email protected]> - 2:24.0.0-1 - Updated to v24.0.0. - Permit the Readline binding to have an executable stack. * Sun May 05 2024 Dennis van Raaij <[email protected]> - 2:23.0.0-1 - Updated to v23.0.0. - Removed backport patch gnatcoll-bindings-transition-from-pyton-37-to-39.patch. * Sat May 04 2024 Dennis van Raaij <[email protected]> - 2:22.0.0-1 - Updated to v22.0.0. - License fields now contain SPDX license expressions. - Added a license to the package that contains the Python bindings. - Enabled the Python 3 binding. - Improved spec file readability. - Added the LZMA binding. - Added the OpenMP (sorting) component. - Added the ZLib binding. * Sun Feb 11 2024 Björn Persson <Bjorn@Rombobjörn.se> - 2:21.0.0-17 - Rebuilt with XMLada 24 and LibGPR 24. * Wed Jan 24 2024 Fedora Release Engineering <[email protected]> - 2:21.0.0-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <[email protected]> - 2:21.0.0-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 16 2024 Björn Persson <Bjorn@Rombobjörn.se> - 2:21.0.0-14 - Rebuilt with GCC 14 prerelease. * Wed Jul 19 2023 Fedora Release Engineering <[email protected]> - 2:21.0.0-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Wed Mar 15 2023 Björn Persson <Bjorn@Rombobjörn.se> - 2:21.0.0-12 - Rebuilt with XMLada 23 and LibGPR 23. * Thu Jan 19 2023 Fedora Release Engineering <[email protected]> - 2:21.0.0-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Tue Jan 17 2023 Björn Persson <Bjorn@Rombobjörn.se> - 2:21.0.0-10 - Rebuilt with GCC 13.
/usr/include/gnatcoll-gmp /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-io.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-io.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-misc.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-misc.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-number_theoretic.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-number_theoretic.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-random.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-random.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-root_extraction.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers-root_extraction.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-integers.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-lib.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-random_state.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-random_state.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp-rational_numbers.adb /usr/include/gnatcoll-gmp/gnatcoll-gmp-rational_numbers.ads /usr/include/gnatcoll-gmp/gnatcoll-gmp.ads /usr/lib64/gnatcoll-gmp /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-integers-io.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-integers-misc.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-integers-number_theoretic.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-integers-random.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-integers-root_extraction.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-integers.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-lib.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-random_state.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp-rational_numbers.ali /usr/lib64/gnatcoll-gmp/gnatcoll-gmp.ali /usr/lib64/libgnatcoll_gmp.so /usr/share/doc/gnatcoll-gmp /usr/share/doc/gnatcoll-gmp/README.md /usr/share/doc/gnatcoll-gmp/examples /usr/share/doc/gnatcoll-gmp/examples/gmp_examples.gpr /usr/share/doc/gnatcoll-gmp/examples/isprime.adb /usr/share/doc/gnatcoll-gmp/examples/square_triangular_numbers.adb /usr/share/gpr/gnatcoll_gmp.gpr
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Dec 13 00:22:47 2024