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:52:41 2021 |
Group: Unspecified | Build host: buildhw-x86-12.iad2.fedoraproject.org |
Size: 5621954 | 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/03 /usr/lib/.build-id/03/694d619ac15a9ad33eaaff173e590ad60dd6be /usr/lib/.build-id/05 /usr/lib/.build-id/05/952b673526d43a337537fa180c97b55a35b45f /usr/lib/.build-id/06 /usr/lib/.build-id/06/65cbcfb8adc78da123074286c8ebdd5c751f5a /usr/lib/.build-id/06/eff86ef424037b38e246f8da155711a2acefc0 /usr/lib/.build-id/08 /usr/lib/.build-id/08/1b6ed604aca91befd30908c6067cf5499560af /usr/lib/.build-id/1d /usr/lib/.build-id/1d/ed89cfdc0da5286bc38c4636e3b6fb3c2524bc /usr/lib/.build-id/2a /usr/lib/.build-id/2a/7c633bfd89b7a90d6a3019e5694a289c348103 /usr/lib/.build-id/40 /usr/lib/.build-id/40/8e8111adee17174c175d732f1880615f03ef01 /usr/lib/.build-id/43 /usr/lib/.build-id/43/a525d4bfa9e7cea0b6113f1ad5f5cb2cb63fbf /usr/lib/.build-id/48 /usr/lib/.build-id/48/acfefae4d11cf5c10daa646dd8638415beb09b /usr/lib/.build-id/49 /usr/lib/.build-id/49/01b60312e61498e28b55911f415ef1eb538123 /usr/lib/.build-id/4e /usr/lib/.build-id/4e/2fe877674f2f5b0f154a11123eebd19f78d8ae /usr/lib/.build-id/69 /usr/lib/.build-id/69/ba4ddea057b9229ff7b774a4d2986863c849a7 /usr/lib/.build-id/76 /usr/lib/.build-id/76/f1398d098c18c1c965afba7ff832433c042ee4 /usr/lib/.build-id/8a /usr/lib/.build-id/8a/c4e709ad512aca3f830778bfb56e17718abb16 /usr/lib/.build-id/8e /usr/lib/.build-id/8e/e43695828e7d005ebf4190435469d4ad0ff1d0 /usr/lib/.build-id/a2 /usr/lib/.build-id/a2/5bc9fe483dadefc692ce401d6b4ad3e56cb933 /usr/lib/.build-id/ab /usr/lib/.build-id/ab/5088c8f041764b53c140813b611d11bae90edf /usr/lib/.build-id/ac /usr/lib/.build-id/ac/11f91dc6fa5309eb6af273dea82d6940595d39 /usr/lib/.build-id/ba /usr/lib/.build-id/ba/5abf1c9c4c4b309bd0f87454af216e4410066a /usr/lib/.build-id/c8 /usr/lib/.build-id/c8/e4c8f5ce5517318c457c08c1dfdb10b0a17280 /usr/lib/.build-id/cd /usr/lib/.build-id/cd/ea83c6e831ee39c765be7debf99233e93a0e27 /usr/lib/.build-id/d9 /usr/lib/.build-id/d9/c988c930555561874855e8b0a0fd841e76dc9b /usr/lib/.build-id/e4 /usr/lib/.build-id/e4/72556dc270261da2f08db0de9f2526d1511704 /usr/lib/.build-id/e9 /usr/lib/.build-id/e9/5c112ae1175648b29c0599bb6faffb080d978d /usr/lib/.build-id/f4 /usr/lib/.build-id/f4/002be4f618ba498fa671181e27ce1007a2ce67 /usr/lib/.build-id/fc /usr/lib/.build-id/fc/2aad19fa790afbeb56ce258bb0195391e303d9 /usr/lib/.build-id/ff /usr/lib/.build-id/ff/2b8a0b72415fe96040a3e8bf8127d32a186888 /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:18:10 2023