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.13 | Vendor: Fedora Project |
Release: 3.fc34 | Build date: Tue Jan 26 01:54:24 2021 |
Group: Unspecified | Build host: buildvm-ppc64le-23.iad2.fedoraproject.org |
Size: 7418266 | Source RPM: apron-0.9.13-3.fc34.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.
LGPLv2+ and GPLv2+
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Fri Nov 20 2020 Jerry James <loganjerry@gmail.com> - 0.9.13-2 - Fix install location of OCaml stublibs * Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 0.9.13-1 - Version 0.9.13 - Drop upstreamed -texinfo patch * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-10 - OCaml 4.11.1 rebuild * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-9 - OCaml 4.11.0 rebuild * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.12-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-7 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-6 - OCaml 4.11.0 pre-release attempt 2 * Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-5 - OCaml 4.11.0 pre-release * Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-4 - Update all OCaml dependencies for RPM 4.16. * Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-3 - OCaml 4.10.0 final. * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.12-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Wed Jan 22 2020 Dan Čermák <dan.cermak@cgc-instruments.com> - 0.9.12-1 - New upstream release 0.9.12 * Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-33.1104.svn20180624 - OCaml 4.10.0+beta1 rebuild. * Thu Jan 09 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-32.1104.svn20180624 - OCaml 4.09.0 for riscv64 * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-31.1104.svn20180624 - Bump release and rebuild. * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-30.1104.svn20180624 - OCaml 4.09.0 (final) rebuild. * Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 0.9.11-29.1104.svn20180624 - Add -mpfr4 patch and rebuild for mpfr 4 * Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-28.1104.svn20180624 - OCaml 4.08.1 (final) rebuild. * Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-27.1104.svn20180624 - OCaml 4.08.1 (rc2) rebuild. * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-26.1104.svn20180624 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-25.1104.svn20180624 - OCaml 4.08.0 (final) rebuild. * Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-24.1104.svn20180624 - OCaml 4.08.0 (beta 3) rebuild. * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-23.1104.svn20180624 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
/usr/lib/.build-id /usr/lib/.build-id/07 /usr/lib/.build-id/07/3f413dbfbf895333783c95048c2c1b210ba124 /usr/lib/.build-id/08 /usr/lib/.build-id/08/74001f7ae89bc2a27ff75cc804429d8fd3f375 /usr/lib/.build-id/11 /usr/lib/.build-id/11/53c9823e32f7136996b75babe704950b851f1a /usr/lib/.build-id/29 /usr/lib/.build-id/29/bc59e47c1b26ee3a48b2a48dc2ea4b83a7c368 /usr/lib/.build-id/39 /usr/lib/.build-id/39/005e8d693cbc05a29e62c89315f317a89a4fd9 /usr/lib/.build-id/42 /usr/lib/.build-id/42/abec178ba616919495a9b1372e7bc6a2e701f3 /usr/lib/.build-id/44 /usr/lib/.build-id/44/e718b3ae10fffb399264159536b8488e2a8710 /usr/lib/.build-id/53 /usr/lib/.build-id/53/9acd2731cd22af303c66de6db9348110e0ac21 /usr/lib/.build-id/57 /usr/lib/.build-id/57/d766f996d1b02c579333cd46edb6daf5ea4686 /usr/lib/.build-id/61 /usr/lib/.build-id/61/5be1423261c3c40624fea58d86298bc208fb4c /usr/lib/.build-id/66 /usr/lib/.build-id/66/ce52e6a1d3b00673100daee2b4d2e1c2aab065 /usr/lib/.build-id/77 /usr/lib/.build-id/77/6866213643437601a11a28dd32ec14fada8f31 /usr/lib/.build-id/78 /usr/lib/.build-id/78/f4482e14007a750439b13cb93229415268355d /usr/lib/.build-id/82 /usr/lib/.build-id/82/c928723c36d715915c042d30dd36f952712ebc /usr/lib/.build-id/84 /usr/lib/.build-id/84/375246dd45fa1367ac9486e82892dee084bf00 /usr/lib/.build-id/8b /usr/lib/.build-id/8b/d71ca95f982863954aafd84606bf75222534a9 /usr/lib/.build-id/a1 /usr/lib/.build-id/a1/42eb459954e234938e88898235c3f94836c364 /usr/lib/.build-id/a8 /usr/lib/.build-id/a8/fe34ebfc55eb2648c63d1a8b81de51fb9e26d1 /usr/lib/.build-id/b0 /usr/lib/.build-id/b0/e1a507703285e63fdff034a9736bb6007444b6 /usr/lib/.build-id/b1 /usr/lib/.build-id/b1/86bb2d73b714434cacec0122f948e73db66a5c /usr/lib/.build-id/b9 /usr/lib/.build-id/b9/3aec044527e494f9c5d80048bd5f21c42a5f5d /usr/lib/.build-id/be /usr/lib/.build-id/be/437cb15375d5d6de946a534294eeb454b5033d /usr/lib/.build-id/c6 /usr/lib/.build-id/c6/f58a17908f2894241e036bcb428785a5e40612 /usr/lib/.build-id/d6 /usr/lib/.build-id/d6/56bb3b0fba441e12b6120f8899fa49627c8498 /usr/lib/.build-id/da /usr/lib/.build-id/da/d919f1b0e879ebefdbd6be64f2210561bdb605 /usr/lib/.build-id/e4 /usr/lib/.build-id/e4/383c4d5167731faeef8caad3dd0d416d005033 /usr/lib/.build-id/ed /usr/lib/.build-id/ed/3e27c4059cc55770b0b9430cee9c5a57d7570e /usr/lib/.build-id/f1 /usr/lib/.build-id/f1/56a30b24b9fefdfddace51466dae2dc9344997 /usr/lib64/libap_pkgrid.so.0 /usr/lib64/libap_pkgrid.so.0.9.13 /usr/lib64/libap_pkgrid_debug.so.0 /usr/lib64/libap_pkgrid_debug.so.0.9.13 /usr/lib64/libap_ppl.so.0 /usr/lib64/libap_ppl.so.0.9.13 /usr/lib64/libap_ppl_debug.so.0 /usr/lib64/libap_ppl_debug.so.0.9.13 /usr/lib64/libapron.so.0 /usr/lib64/libapron.so.0.9.13 /usr/lib64/libapron_debug.so.0 /usr/lib64/libapron_debug.so.0.9.13 /usr/lib64/libapronxx.so.0 /usr/lib64/libapronxx.so.0.9.13 /usr/lib64/libapronxx_debug.so.0 /usr/lib64/libapronxx_debug.so.0.9.13 /usr/lib64/libboxD.so.0 /usr/lib64/libboxD.so.0.9.13 /usr/lib64/libboxD_debug.so.0 /usr/lib64/libboxD_debug.so.0.9.13 /usr/lib64/libboxMPFR.so.0 /usr/lib64/libboxMPFR.so.0.9.13 /usr/lib64/libboxMPFR_debug.so.0 /usr/lib64/libboxMPFR_debug.so.0.9.13 /usr/lib64/libboxMPQ.so.0 /usr/lib64/libboxMPQ.so.0.9.13 /usr/lib64/libboxMPQ_debug.so.0 /usr/lib64/libboxMPQ_debug.so.0.9.13 /usr/lib64/liboctD.so.0 /usr/lib64/liboctD.so.0.9.13 /usr/lib64/liboctD_debug.so.0 /usr/lib64/liboctD_debug.so.0.9.13 /usr/lib64/liboctMPQ.so.0 /usr/lib64/liboctMPQ.so.0.9.13 /usr/lib64/liboctMPQ_debug.so.0 /usr/lib64/liboctMPQ_debug.so.0.9.13 /usr/lib64/libpolkaMPQ.so.0 /usr/lib64/libpolkaMPQ.so.0.9.13 /usr/lib64/libpolkaMPQ_debug.so.0 /usr/lib64/libpolkaMPQ_debug.so.0.9.13 /usr/lib64/libpolkaRll.so.0 /usr/lib64/libpolkaRll.so.0.9.13 /usr/lib64/libpolkaRll_debug.so.0 /usr/lib64/libpolkaRll_debug.so.0.9.13 /usr/lib64/libt1pD.so.0 /usr/lib64/libt1pD.so.0.9.13 /usr/lib64/libt1pD_debug.so.0 /usr/lib64/libt1pD_debug.so.0.9.13 /usr/lib64/libt1pMPFR.so.0 /usr/lib64/libt1pMPFR.so.0.9.13 /usr/lib64/libt1pMPFR_debug.so.0 /usr/lib64/libt1pMPFR_debug.so.0.9.13 /usr/lib64/libt1pMPQ.so.0 /usr/lib64/libt1pMPQ.so.0.9.13 /usr/lib64/libt1pMPQ_debug.so.0 /usr/lib64/libt1pMPQ_debug.so.0.9.13 /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, Mon Jan 9 18:25:19 2023