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: 17.fc38 | Build date: Thu Mar 23 17:11:35 2023 |
Group: Unspecified | Build host: buildvm-s390x-20.s390.fedoraproject.org |
Size: 5911295 | Source RPM: apron-0.9.13-17.fc38.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
* Thu Mar 23 2023 Jerry James <loganjerry@gmail.com> - 0.9.13-17 - Fix reinsertion of -Werror=format-security (bz 2181282) * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-16 - Rebuild OCaml packages for F38 * Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Tue Dec 06 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-14 - Work around build failure with make 4.4 (rhbz#2150171) * Thu Aug 11 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-13 - Convert License tag to SPDX * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Tue Jul 05 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-12 - Do not build japron on i686 (rhbz#2104018) - Use new OCaml macros * Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-11 - OCaml 4.14.0 rebuild * Wed Apr 27 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-10 - Add -custom-operations patch to silence warnings - Trim Requires - Build native OCaml objects with debuginfo * Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 0.9.13-10 - Rebuilt for java-17-openjdk as system jdk * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-9 - OCaml 4.13.1 rebuild to remove package notes * Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 0.9.13-7 - Rebuild for ocaml-mlgmpidl 1.2.14 * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-6 - OCaml 4.13.1 build * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
/usr/lib/.build-id /usr/lib/.build-id/00 /usr/lib/.build-id/00/2a7f807858b203c62676fd53934a6f456673bf /usr/lib/.build-id/18 /usr/lib/.build-id/18/34e57c7201f0d49d9ed07ead8ace71b924aab8 /usr/lib/.build-id/28 /usr/lib/.build-id/28/808679ffce9c152634ece63174f77e67cde9a4 /usr/lib/.build-id/35 /usr/lib/.build-id/35/6c56d6e581ed1436b77eb965f1340f34731ec8 /usr/lib/.build-id/52 /usr/lib/.build-id/52/ab053ab52fd29b8dfc6c77ff43d859c33f64d8 /usr/lib/.build-id/6c /usr/lib/.build-id/6c/9a613049c3c7c481b9f4d80a747b3a2dc1f59a /usr/lib/.build-id/76 /usr/lib/.build-id/76/ff594eb7fd08b89b4faa6e4c65b923e7c418c2 /usr/lib/.build-id/7b /usr/lib/.build-id/7b/6d339d7373fab5d835c10684e121a18fa01abb /usr/lib/.build-id/7b/76b445e1743fc99f8733f0eb965cb133808459 /usr/lib/.build-id/7e /usr/lib/.build-id/7e/ed9597c7520b06ff009ede7b39d605f7fd1fbc /usr/lib/.build-id/87 /usr/lib/.build-id/87/ae34a591acc8d5718e8669a106148f522a2096 /usr/lib/.build-id/89 /usr/lib/.build-id/89/7c1754325c47a1ded414603da2ba5444cade5d /usr/lib/.build-id/90 /usr/lib/.build-id/90/82d07cfe67c18a116a959431fb0d3ed0157cb4 /usr/lib/.build-id/90/a78716fbfccf26b4a1970bc6dfc8951cb40202 /usr/lib/.build-id/91 /usr/lib/.build-id/91/8c0a58cb33358869fb778bf50014aa3113ee3d /usr/lib/.build-id/94 /usr/lib/.build-id/94/7f41d7d4f28f9bcb52cb291c4e4e7dd5c5606c /usr/lib/.build-id/9e /usr/lib/.build-id/9e/a9143134f9250239dcbc1ae71878ce5a862efd /usr/lib/.build-id/a0 /usr/lib/.build-id/a0/08d4366f2d8488ee545e356b005fe8d2310d8e /usr/lib/.build-id/a5 /usr/lib/.build-id/a5/9acfa1e57c8a59619839ce84bc33b1bfedf0ec /usr/lib/.build-id/c2 /usr/lib/.build-id/c2/129e62832bfeac150f536e9a325009f374bb22 /usr/lib/.build-id/c8 /usr/lib/.build-id/c8/752cc93fe6c88f44502c8fcaf87112f9c84a0b /usr/lib/.build-id/cd /usr/lib/.build-id/cd/612e028c32043b41a35222bee88dbbeb6ec867 /usr/lib/.build-id/d2 /usr/lib/.build-id/d2/f358a2cdabfc0f029c312647f734eef70c498f /usr/lib/.build-id/d8 /usr/lib/.build-id/d8/99bf00c26c69d3a2b3b884db202feab2e3dcdc /usr/lib/.build-id/e0 /usr/lib/.build-id/e0/79b933c0f7dc09a4666bf8e2d9c0f0388d012c /usr/lib/.build-id/e4 /usr/lib/.build-id/e4/3152d56465426956f2c717a98cf79763290f65 /usr/lib/.build-id/fa /usr/lib/.build-id/fa/471b7260f3b31b5a40dd7bc9c773be5bc628ac /usr/lib/.build-id/ff /usr/lib/.build-id/ff/62fa2e9ef9a9915514f1d7529f9b21d2a87522 /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, Tue Apr 9 23:07:34 2024