Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

apron-0.9.13-5.fc35 RPM for i686

From Fedora 35 for x86_64 / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 5.fc35 Build date: Wed Jul 21 19:57:57 2021
Group: Unspecified Build host: buildvm-x86-12.iad2.fedoraproject.org
Size: 6386653 Source RPM: apron-0.9.13-5.fc35.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.

Provides

Requires

License

LGPLv2+ and GPLv2+

Changelog

* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Mon Mar 01 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-4
  - OCaml 4.12.0 build
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/02
/usr/lib/.build-id/02/2ad43486e05bc608ee3b0e9292464404ba171a
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/1b115f6f5c1211f64dae37f2370dbc26f8ce07
/usr/lib/.build-id/0e
/usr/lib/.build-id/0e/46df59148fd4d5f6091d13e142523884c1fa3e
/usr/lib/.build-id/11
/usr/lib/.build-id/11/2050d9edd0a3b081ba6880add63f5c2afb5497
/usr/lib/.build-id/17
/usr/lib/.build-id/17/7acdd4da71f9d067825206e066c83b790dcd24
/usr/lib/.build-id/1d
/usr/lib/.build-id/1d/e5c18ce31ac1a0cbc6ee2bf5a51c5c242cab4c
/usr/lib/.build-id/2e
/usr/lib/.build-id/2e/d1e7f5bb581640af71ded41dd9cb29f1de217f
/usr/lib/.build-id/38
/usr/lib/.build-id/38/f6d766f3faa0e8c2c7aab58eac1030f4336e43
/usr/lib/.build-id/3f
/usr/lib/.build-id/3f/f66cbf3521e3c33e7b9567127babbcb87ffd13
/usr/lib/.build-id/49
/usr/lib/.build-id/49/0b5b4e022d6c68bcf452ce0de6449091ce7fae
/usr/lib/.build-id/4a
/usr/lib/.build-id/4a/5e473651872b923b0e5ce0672fca45c1a4ad1e
/usr/lib/.build-id/54
/usr/lib/.build-id/54/2526bac4654118fbbc9c3338b23b9e92eba15a
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/e2e701e1238b2f77d2966382905cb0fabb1436
/usr/lib/.build-id/81
/usr/lib/.build-id/81/6504e01ac8323be340e135b8bb352c4bf57b4a
/usr/lib/.build-id/8d
/usr/lib/.build-id/8d/70fc44a3f222a08a4b5fcd243bfd1405b0c6c5
/usr/lib/.build-id/98
/usr/lib/.build-id/98/87aa24069e5671211f209de4c44905c695df93
/usr/lib/.build-id/99
/usr/lib/.build-id/99/ec747b8768de4d0f2a3aab3c3ce42bdd3833a2
/usr/lib/.build-id/99/faa95f578a5f659a9c87c8fe873dd661ccbb2e
/usr/lib/.build-id/9c
/usr/lib/.build-id/9c/2ca4f1e3547e74b90fe023d1b8ce8c6564dc44
/usr/lib/.build-id/9c/558b10067b0992e225807af3d68b2eec4c6ec4
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/8f101c58df558860ee05dec0385380941776f7
/usr/lib/.build-id/a7
/usr/lib/.build-id/a7/daa7a963fb72c24423ff540b7db71e9a6c9973
/usr/lib/.build-id/cf
/usr/lib/.build-id/cf/3a5278ba4d27fdd98e65e53b81858a66cd874e
/usr/lib/.build-id/e8
/usr/lib/.build-id/e8/48f45d758ef4f4ce201a2049add2adcbb58ca6
/usr/lib/.build-id/ee
/usr/lib/.build-id/ee/ad867c255b564cdaf726728181f0e7dd47b473
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/2e8ba92ae70e4ea4397696fa1e80595a4ba6e1
/usr/lib/.build-id/f3/f8100162c924b63c31c209c16aa34670fe6b79
/usr/lib/.build-id/f9
/usr/lib/.build-id/f9/e6b46818192a13c336f677a14bb4833de577c9
/usr/lib/libap_pkgrid.so.0
/usr/lib/libap_pkgrid.so.0.9.13
/usr/lib/libap_pkgrid_debug.so.0
/usr/lib/libap_pkgrid_debug.so.0.9.13
/usr/lib/libap_ppl.so.0
/usr/lib/libap_ppl.so.0.9.13
/usr/lib/libap_ppl_debug.so.0
/usr/lib/libap_ppl_debug.so.0.9.13
/usr/lib/libapron.so.0
/usr/lib/libapron.so.0.9.13
/usr/lib/libapron_debug.so.0
/usr/lib/libapron_debug.so.0.9.13
/usr/lib/libapronxx.so.0
/usr/lib/libapronxx.so.0.9.13
/usr/lib/libapronxx_debug.so.0
/usr/lib/libapronxx_debug.so.0.9.13
/usr/lib/libboxD.so.0
/usr/lib/libboxD.so.0.9.13
/usr/lib/libboxD_debug.so.0
/usr/lib/libboxD_debug.so.0.9.13
/usr/lib/libboxMPFR.so.0
/usr/lib/libboxMPFR.so.0.9.13
/usr/lib/libboxMPFR_debug.so.0
/usr/lib/libboxMPFR_debug.so.0.9.13
/usr/lib/libboxMPQ.so.0
/usr/lib/libboxMPQ.so.0.9.13
/usr/lib/libboxMPQ_debug.so.0
/usr/lib/libboxMPQ_debug.so.0.9.13
/usr/lib/liboctD.so.0
/usr/lib/liboctD.so.0.9.13
/usr/lib/liboctD_debug.so.0
/usr/lib/liboctD_debug.so.0.9.13
/usr/lib/liboctMPQ.so.0
/usr/lib/liboctMPQ.so.0.9.13
/usr/lib/liboctMPQ_debug.so.0
/usr/lib/liboctMPQ_debug.so.0.9.13
/usr/lib/libpolkaMPQ.so.0
/usr/lib/libpolkaMPQ.so.0.9.13
/usr/lib/libpolkaMPQ_debug.so.0
/usr/lib/libpolkaMPQ_debug.so.0.9.13
/usr/lib/libpolkaRll.so.0
/usr/lib/libpolkaRll.so.0.9.13
/usr/lib/libpolkaRll_debug.so.0
/usr/lib/libpolkaRll_debug.so.0.9.13
/usr/lib/libt1pD.so.0
/usr/lib/libt1pD.so.0.9.13
/usr/lib/libt1pD_debug.so.0
/usr/lib/libt1pD_debug.so.0.9.13
/usr/lib/libt1pMPFR.so.0
/usr/lib/libt1pMPFR.so.0.9.13
/usr/lib/libt1pMPFR_debug.so.0
/usr/lib/libt1pMPFR_debug.so.0.9.13
/usr/lib/libt1pMPQ.so.0
/usr/lib/libt1pMPQ.so.0.9.13
/usr/lib/libt1pMPQ_debug.so.0
/usr/lib/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, Sun Jan 9 21:54:53 2022