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 02:13:16 2021 |
Group: Unspecified | Build host: buildvm-a64-19.iad2.fedoraproject.org |
Size: 5990735 | 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/00 /usr/lib/.build-id/00/7ee928f852ccbe8f986e27874f7000133b9d55 /usr/lib/.build-id/10 /usr/lib/.build-id/10/471439a04e5e8ea7f7fe910e66191b0c9f55c5 /usr/lib/.build-id/10/5cfb7e759f204b113701b39bc5c61e5263ba55 /usr/lib/.build-id/17 /usr/lib/.build-id/17/a9875310f23330571814a8e3d8af0829535f7a /usr/lib/.build-id/1a /usr/lib/.build-id/1a/bd68d53687e1df682e2fe30c8bb19510cb356c /usr/lib/.build-id/25 /usr/lib/.build-id/25/41cda4d67cec9e117dfd1e7d39cb57fd3dcbf0 /usr/lib/.build-id/2e /usr/lib/.build-id/2e/1c93eaa71b5ad87946e8ddae62a030c2f2078e /usr/lib/.build-id/55 /usr/lib/.build-id/55/3093cd5784d169f88d735814d26bbee1e6edd8 /usr/lib/.build-id/56 /usr/lib/.build-id/56/835f7d5341968c4b9553a146ad2b709d809a01 /usr/lib/.build-id/56/c301adaf12de74e50d380e55a124392b68d051 /usr/lib/.build-id/63 /usr/lib/.build-id/63/0849cfdd279ea2246d06ef731e8679730cf73a /usr/lib/.build-id/6f /usr/lib/.build-id/6f/01bb0bff38e7abc2f2f6ae7ecc44f8b3555577 /usr/lib/.build-id/76 /usr/lib/.build-id/76/281e65e650010867f98d3af3998e4b0547e17f /usr/lib/.build-id/7f /usr/lib/.build-id/7f/d7362ae944e12c2fa4146f68652354d36c93ce /usr/lib/.build-id/8c /usr/lib/.build-id/8c/a3c81d5c144f3a99563dcacb0643813163e74f /usr/lib/.build-id/8c/a95231b720a0ebde84ffbb80a07e74c0bdfcca /usr/lib/.build-id/97 /usr/lib/.build-id/97/adeaeea9431aaba7503539794b5fa215cbb31c /usr/lib/.build-id/a2 /usr/lib/.build-id/a2/039462891e07b1b8613ae9a40530d63d5308b2 /usr/lib/.build-id/ab /usr/lib/.build-id/ab/69f97e574bdf80acc3ec56e28f0fb810609fa6 /usr/lib/.build-id/bd /usr/lib/.build-id/bd/14aa4bb96d3e2790adc7059188136590d5e498 /usr/lib/.build-id/cd /usr/lib/.build-id/cd/06d5f729c5cb91022f523537c5add3c1e801a5 /usr/lib/.build-id/d3 /usr/lib/.build-id/d3/1e3618f7209c73e02e820f5f0d6fbba0c6b91f /usr/lib/.build-id/d3/74c1edb0260e322c1ddcfa443dd4b95e18b633 /usr/lib/.build-id/d5 /usr/lib/.build-id/d5/09a87d6151bd94d3b6733e9be6f9ff199fbe62 /usr/lib/.build-id/da /usr/lib/.build-id/da/14cb62cfaa858550af32730bb375fe22c3c3d6 /usr/lib/.build-id/e4 /usr/lib/.build-id/e4/5c60670772047500d73f4b1938906af609a95e /usr/lib/.build-id/e8 /usr/lib/.build-id/e8/15436c0576f8976c9e79798a37acb31c60fe10 /usr/lib/.build-id/fb /usr/lib/.build-id/fb/9706e06b62bae0f1ff26708e5d5652886a2ad5 /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:12:38 2023