| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: apron | Distribution: Fedora Project |
| Version: 0.9.15 | Vendor: Fedora Project |
| Release: 21.fc45 | Build date: Wed Sep 23 21:03:51 2026 |
| Group: Unspecified | Build host: buildvm-s390x-09.s390.fedoraproject.org |
| Size: 3916117 | Source RPM: apron-0.9.15-21.fc45.src.rpm |
| Packager: Fedora Project | |
| Url: https://antoinemine.github.io/Apron/doc/ | |
| Summary: Numerical abstract domain library | |
The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables, like 1<=x+y<=z, which holds during any execution of the program. The APRON library is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain.
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later AND GPL-3.0-only
* Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 0.9.15-21 - OCaml 5.5.1 rebuild * Mon Aug 10 2026 Jerry James <loganjerry@gmail.com> - 0.9.15-20 - Rebuild for pplite 0.14 * Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 0.9.15-18 - OCaml 5.5.0 rebuild - Pass -ldopt prior to linker arguments when invoking ocamlmklib * Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 0.9.15-17 - OCaml 5.4.1 rebuild * Tue Jan 27 2026 Jerry James <loganjerry@gmail.com> - 0.9.15-16 - Rebuild for pplite 0.13 * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Thu Jan 15 2026 Jerry James <loganjerry@gmail.com> - 0.9.15-13 - Add GPL-3.0-only to the License field * Fri Jan 09 2026 Jerry James <loganjerry@gmail.com> - 0.9.15-12 - Reflow the description text - More precise globbing in %files * Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 0.9.15-11 - OCaml 5.4.0 rebuild * Tue Jul 29 2025 Jiri Vanek <jvanek@redhat.com> - 0.9.15-10 - Rebuilt for java-25-openjdk as preffered jdk * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Jul 11 2025 Jerry James <loganjerry@gmail.com> - 0.9.15-8 - Rebuild to fix OCaml dependencies * Sat Jun 07 2025 Jerry James <loganjerry@gmail.com> - 0.9.15-7 - Rebuild for bumped ocaml-mlgmpidl * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Dec 27 2024 Jerry James <loganjerry@gmail.com> - 0.9.15-5 - Prevent segfaults in the OCaml garbage collector - Move configuration steps to %conf
/usr/lib/.build-id /usr/lib/.build-id/1a /usr/lib/.build-id/1a/405576f9eaf1c919e824a26bbcd1b960d2b953 /usr/lib/.build-id/1b /usr/lib/.build-id/1b/4c43da5cb2b0ab7863cdb0101c6be0baf191e8 /usr/lib/.build-id/36 /usr/lib/.build-id/36/b93a574fcb07958421ba3a1a1b8f56b375e51d /usr/lib/.build-id/37 /usr/lib/.build-id/37/5c06830b58df4c5de6c6e561defa7a64f0009f /usr/lib/.build-id/68 /usr/lib/.build-id/68/3fe91cf2df3755abfa815aaff2c558b68d8606 /usr/lib/.build-id/68/8cd76b4e25a6055393d4e7a79573fa6c9b0677 /usr/lib/.build-id/7f /usr/lib/.build-id/7f/d43a0fd3c4a1b0fd9522055f84b32d4a809062 /usr/lib/.build-id/84 /usr/lib/.build-id/84/a2518821ef314adc7da0ed43e3115608a4ae7d /usr/lib/.build-id/86 /usr/lib/.build-id/86/406fb250ebbf821a5568d9a4598f3add52468f /usr/lib/.build-id/8c /usr/lib/.build-id/8c/2fe28566e090cf575357f6ce6563a2ad82db41 /usr/lib/.build-id/91 /usr/lib/.build-id/91/36b6cb6ef3352818fcdb6722ce26372fe2937b /usr/lib/.build-id/aa /usr/lib/.build-id/aa/b7042b3698f80bfedd8295c33efbe184f59bad /usr/lib/.build-id/b4 /usr/lib/.build-id/b4/45be73d51ddc1142a06bce0ade6f62deee05e0 /usr/lib/.build-id/b4/58257448c26902e3a039e097558a5ff1767477 /usr/lib/.build-id/d0 /usr/lib/.build-id/d0/b2933ebbdf80a363d7c1f69e9ad76b27ca19a3 /usr/lib/.build-id/d8 /usr/lib/.build-id/d8/72392b39bc123b7de2bc5acbc1a98c9eaf7f5b /usr/lib/.build-id/dd /usr/lib/.build-id/dd/044105199bcbf1b0eeb4ad89f19f3d4f6fa446 /usr/lib/.build-id/f9 /usr/lib/.build-id/f9/cbd5ea637a4da2ac68b076fb7e75787d85df01 /usr/lib/.build-id/fd /usr/lib/.build-id/fd/650e69a4e8e11b6561834bdf1e20d6b4d80bd5 /usr/lib64/libap_pkgrid.so.0 /usr/lib64/libap_pkgrid.so.0.9.15 /usr/lib64/libap_ppl.so.0 /usr/lib64/libap_ppl.so.0.9.15 /usr/lib64/libap_pplite.so.0 /usr/lib64/libap_pplite.so.0.9.15 /usr/lib64/libapron.so.0 /usr/lib64/libapron.so.0.9.15 /usr/lib64/libapronxx.so.0 /usr/lib64/libapronxx.so.0.9.15 /usr/lib64/libavoD.so.0 /usr/lib64/libavoD.so.0.9.15 /usr/lib64/libavoMPQ.so.0 /usr/lib64/libavoMPQ.so.0.9.15 /usr/lib64/libboxD.so.0 /usr/lib64/libboxD.so.0.9.15 /usr/lib64/libboxMPFR.so.0 /usr/lib64/libboxMPFR.so.0.9.15 /usr/lib64/libboxMPQ.so.0 /usr/lib64/libboxMPQ.so.0.9.15 /usr/lib64/libfppD.so.0 /usr/lib64/libfppD.so.0.9.15 /usr/lib64/libfppDl.so.0 /usr/lib64/libfppDl.so.0.9.15 /usr/lib64/liboctD.so.0 /usr/lib64/liboctD.so.0.9.15 /usr/lib64/liboctMPQ.so.0 /usr/lib64/liboctMPQ.so.0.9.15 /usr/lib64/libpolkaMPQ.so.0 /usr/lib64/libpolkaMPQ.so.0.9.15 /usr/lib64/libpolkaRll.so.0 /usr/lib64/libpolkaRll.so.0.9.15 /usr/lib64/libt1pD.so.0 /usr/lib64/libt1pD.so.0.9.15 /usr/lib64/libt1pMPFR.so.0 /usr/lib64/libt1pMPFR.so.0.9.15 /usr/lib64/libt1pMPQ.so.0 /usr/lib64/libt1pMPQ.so.0.9.15 /usr/share/doc/apron /usr/share/doc/apron/AUTHORS /usr/share/doc/apron/Changes /usr/share/doc/apron/README.md /usr/share/doc/apron/apron.pdf /usr/share/licenses/apron /usr/share/licenses/apron/COPYING
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Oct 9 02:05:34 2026