| 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.fc46 | Build date: Tue Sep 15 20:01:24 2026 |
| Group: Unspecified | Build host: buildvm-a64-34.rdu3.fedoraproject.org |
| Size: 4113861 | Source RPM: apron-0.9.15-21.fc46.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/04 /usr/lib/.build-id/04/262f7a49fecf547386c0b2aec5790dc9d5cc51 /usr/lib/.build-id/04/8d5f306ed9f3a8c06d9bbdab617502c048f54d /usr/lib/.build-id/04/9c2dede420eef22e0465bea7b34f35bd9c44c9 /usr/lib/.build-id/09 /usr/lib/.build-id/09/604699a6dba81b0c08949c249b11f867cd74ac /usr/lib/.build-id/1c /usr/lib/.build-id/1c/773a10cea8b404e0d0f9f772b230a211bf9139 /usr/lib/.build-id/1e /usr/lib/.build-id/1e/4949e216ee9aab309b4995124194adfd759830 /usr/lib/.build-id/20 /usr/lib/.build-id/20/dece5eb18fbe0595b78ad27691808e1bef021b /usr/lib/.build-id/30 /usr/lib/.build-id/30/7701fc3f2207baa37d86e6aad2f5f31e631db5 /usr/lib/.build-id/3a /usr/lib/.build-id/3a/7a714ff64bf67ee128e3b888db9ddee51db629 /usr/lib/.build-id/3d /usr/lib/.build-id/3d/4aea380e40b573fd8b8eecfa544aeda474b383 /usr/lib/.build-id/58 /usr/lib/.build-id/58/e9887e75c29e4529a802cc9b0a981164346747 /usr/lib/.build-id/6c /usr/lib/.build-id/6c/f13fcea2bdee48ce19be01a4983b7a035d3ad5 /usr/lib/.build-id/72 /usr/lib/.build-id/72/4e152fabd8009d01ec852ac540ab2c140435ba /usr/lib/.build-id/78 /usr/lib/.build-id/78/67dfd7d32ee5ea7411f6d27ef8c681b83f418b /usr/lib/.build-id/94 /usr/lib/.build-id/94/dd23f18c45f84edeb2003a00dc0ff63090e835 /usr/lib/.build-id/95 /usr/lib/.build-id/95/8cddc3fc7410ae0d3ec395fc96242791855fb4 /usr/lib/.build-id/a0 /usr/lib/.build-id/a0/c2b253aa089d0ce2a52e2aad81e2b7b869c543 /usr/lib/.build-id/a3 /usr/lib/.build-id/a3/07944ed4aa892b6177c5686b25826bd451e3e9 /usr/lib/.build-id/bc /usr/lib/.build-id/bc/7b747362c5dabdf10b777a286fdb238531abf7 /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 Sep 18 01:36:33 2026