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

apron-0.9.12-3.fc32.1 RPM for i686

From Fedora 32 testing updates for x86_64 / Packages / a

Name: apron Distribution: Fedora Project
Version: 0.9.12 Vendor: Fedora Project
Release: 3.fc32.1 Build date: Thu Feb 27 22:29:05 2020
Group: Unspecified Build host: buildvm-15.phx2.fedoraproject.org
Size: 6786791 Source RPM: apron-0.9.12-3.fc32.1.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

* Thu Feb 27 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-3.1
  - OCaml 4.10.0 final (Fedora 32).
* 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
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-22.1104.svn20180624
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-21.1104.svn20180624
  - OCaml 4.07.0 (final) rebuild.
* Sat Jul 07 2018 Jerry James <loganjerry@gmail.com> - 0.9.11-20.1104.svn20180624
  - Update to latest subversion commit
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-19.1097.svn20160801
  - Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-18.1097.svn20160801
  - Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-17.1097.svn20160801
  - Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-16.1097.svn20160801
  - Bump release and rebuild.
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-15.1097.svn20160801
  - OCaml 4.07.0-rc1 rebuild.

Files

/usr/lib/.build-id
/usr/lib/.build-id/12
/usr/lib/.build-id/12/4a57dbbd56987692d9163586971d8941a19521
/usr/lib/.build-id/12/d1a3a41a05e1d8c38e1e3ea3bb3aed0a6fd417
/usr/lib/.build-id/1f
/usr/lib/.build-id/1f/d765d505939bb66e33174e321b62d93d81d4bb
/usr/lib/.build-id/41
/usr/lib/.build-id/41/0b51430eb5f4a3b792ee680041ac2452b887d4
/usr/lib/.build-id/47
/usr/lib/.build-id/47/06457be4070cfd7a5a53a0caa1d3588139bc49
/usr/lib/.build-id/5d
/usr/lib/.build-id/5d/3865a83367ef40e3abf2996401e1825885443f
/usr/lib/.build-id/61
/usr/lib/.build-id/61/ebaf9474d0cd0708d2e57f146cd5156e979b53
/usr/lib/.build-id/74
/usr/lib/.build-id/74/7aa5e28e122ff0e54fd600dcee81fc4d0b3688
/usr/lib/.build-id/79
/usr/lib/.build-id/79/73f33a4a010aa9e668a5aab62db47ad900d34f
/usr/lib/.build-id/7f
/usr/lib/.build-id/7f/d392d5a60e9a0adc1ea6334ffd4b37e7827f51
/usr/lib/.build-id/86
/usr/lib/.build-id/86/609edf953e1a1037de8a1210cbc73843e4ac80
/usr/lib/.build-id/89
/usr/lib/.build-id/89/d565320e9ea5327695d81d07aaa5a362ec922c
/usr/lib/.build-id/93
/usr/lib/.build-id/93/fcc2bd2f3612826e2b5f0c8b4fb14040bee962
/usr/lib/.build-id/9d
/usr/lib/.build-id/9d/6cb0175986bbc632b430550553c3009085462e
/usr/lib/.build-id/9d/76486ac9e399f1bd080369b35f0a49f1a7d2af
/usr/lib/.build-id/9e
/usr/lib/.build-id/9e/9734c9ccd05c69f1148cf67645d09872cf3de8
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/9535bbc69ddd870f88aa11f2d2aed3a26b0e13
/usr/lib/.build-id/a7
/usr/lib/.build-id/a7/113b85fa9275ef7977824a59ce5c9634ce7461
/usr/lib/.build-id/ae
/usr/lib/.build-id/ae/fb5264fc0daaebd1ed8bd66811f97f74e09c61
/usr/lib/.build-id/b7
/usr/lib/.build-id/b7/48697fc22e2e960ddb0fa66f9c60a7d5d88a97
/usr/lib/.build-id/b7/527e0fa00c1db8e1193afa1fc29cf6433a07c4
/usr/lib/.build-id/bb
/usr/lib/.build-id/bb/bd1836a0c96f62ab2299ab771e781ed14b5dad
/usr/lib/.build-id/c8
/usr/lib/.build-id/c8/9555029aed7379acc201d658cf444317c451d9
/usr/lib/.build-id/d1
/usr/lib/.build-id/d1/d53b55fadc90f04cbf63eb489af11454927c95
/usr/lib/.build-id/db
/usr/lib/.build-id/db/4edac9a5e41c2ecdf4b49c8cd47f74465c16f7
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/d8626ca492991670c4034b8f7a5430eccbb71c
/usr/lib/.build-id/eb
/usr/lib/.build-id/eb/8eb3861eaff487a6fa1e31bda9adc94458c0cb
/usr/lib/.build-id/f0
/usr/lib/.build-id/f0/65181e14e48d85d03e4dc48b43f1b95238eb4a
/usr/lib/libap_pkgrid.so.0
/usr/lib/libap_pkgrid.so.0.9.12
/usr/lib/libap_pkgrid_debug.so.0
/usr/lib/libap_pkgrid_debug.so.0.9.12
/usr/lib/libap_ppl.so.0
/usr/lib/libap_ppl.so.0.9.12
/usr/lib/libap_ppl_debug.so.0
/usr/lib/libap_ppl_debug.so.0.9.12
/usr/lib/libapron.so.0
/usr/lib/libapron.so.0.9.12
/usr/lib/libapron_debug.so.0
/usr/lib/libapron_debug.so.0.9.12
/usr/lib/libapronxx.so.0
/usr/lib/libapronxx.so.0.9.12
/usr/lib/libapronxx_debug.so.0
/usr/lib/libapronxx_debug.so.0.9.12
/usr/lib/libboxD.so.0
/usr/lib/libboxD.so.0.9.12
/usr/lib/libboxD_debug.so.0
/usr/lib/libboxD_debug.so.0.9.12
/usr/lib/libboxMPFR.so.0
/usr/lib/libboxMPFR.so.0.9.12
/usr/lib/libboxMPFR_debug.so.0
/usr/lib/libboxMPFR_debug.so.0.9.12
/usr/lib/libboxMPQ.so.0
/usr/lib/libboxMPQ.so.0.9.12
/usr/lib/libboxMPQ_debug.so.0
/usr/lib/libboxMPQ_debug.so.0.9.12
/usr/lib/liboctD.so.0
/usr/lib/liboctD.so.0.9.12
/usr/lib/liboctD_debug.so.0
/usr/lib/liboctD_debug.so.0.9.12
/usr/lib/liboctMPQ.so.0
/usr/lib/liboctMPQ.so.0.9.12
/usr/lib/liboctMPQ_debug.so.0
/usr/lib/liboctMPQ_debug.so.0.9.12
/usr/lib/libpolkaMPQ.so.0
/usr/lib/libpolkaMPQ.so.0.9.12
/usr/lib/libpolkaMPQ_debug.so.0
/usr/lib/libpolkaMPQ_debug.so.0.9.12
/usr/lib/libpolkaRll.so.0
/usr/lib/libpolkaRll.so.0.9.12
/usr/lib/libpolkaRll_debug.so.0
/usr/lib/libpolkaRll_debug.so.0.9.12
/usr/lib/libt1pD.so.0
/usr/lib/libt1pD.so.0.9.12
/usr/lib/libt1pD_debug.so.0
/usr/lib/libt1pD_debug.so.0.9.12
/usr/lib/libt1pMPFR.so.0
/usr/lib/libt1pMPFR.so.0.9.12
/usr/lib/libt1pMPFR_debug.so.0
/usr/lib/libt1pMPFR_debug.so.0.9.12
/usr/lib/libt1pMPQ.so.0
/usr/lib/libt1pMPQ.so.0.9.12
/usr/lib/libt1pMPQ_debug.so.0
/usr/lib/libt1pMPQ_debug.so.0.9.12
/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 14:35:56 2022