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

apron-0.9.13-1.fc33 RPM for x86_64

From Fedora 33 for x86_64 / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 1.fc33 Build date: Sat Sep 26 23:29:25 2020
Group: Unspecified Build host: buildvm-x86-15.iad2.fedoraproject.org
Size: 5567042 Source RPM: apron-0.9.13-1.fc33.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

* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 0.9.13-1
  - Version 0.9.13
  - Drop upstreamed -texinfo patch
* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-10.1
  - Bump release and rebuild.
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/09
/usr/lib/.build-id/09/460271347ecccd30721068b7c1ab8a026462db
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/1a1c139357f091d0a52cb59d1c17a133e69d62
/usr/lib/.build-id/27
/usr/lib/.build-id/27/afa8138821f939561cbd36a00f56e9674eceee
/usr/lib/.build-id/2d
/usr/lib/.build-id/2d/2cb525f6d54afe246ef167fd7c07248bdd698e
/usr/lib/.build-id/32
/usr/lib/.build-id/32/9f751c65d76f1c6d7f4ba8e1a2b237fb0d4ac3
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/d5e2622d8c71362ff0eefcb6692217182d3a9d
/usr/lib/.build-id/47
/usr/lib/.build-id/47/85a768e9644f73ffaa5a47f0e3f0707ad6295d
/usr/lib/.build-id/53
/usr/lib/.build-id/53/0941f968357cd3b789ae53cac3f4e08635a002
/usr/lib/.build-id/53/5c905fce4e9027e5cdf2613cc1212bf2f25fc2
/usr/lib/.build-id/5d
/usr/lib/.build-id/5d/9185931f2b4a23a26a4949317dc8f68efba4c6
/usr/lib/.build-id/63
/usr/lib/.build-id/63/5280e47a5fd1ae5d017c636386467b9de13489
/usr/lib/.build-id/66
/usr/lib/.build-id/66/809b8bca265a7fb056b7780b47227601796b62
/usr/lib/.build-id/79
/usr/lib/.build-id/79/f1f4b72dd591baaf75a5e8d5a8b1a46a4cd613
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/2850d9ddccd917fd02b8b544a2774ffecd9f5f
/usr/lib/.build-id/82
/usr/lib/.build-id/82/55cdd098e93a67037c28cc637625469e3cbbf5
/usr/lib/.build-id/a6
/usr/lib/.build-id/a6/f94498d231beaeb5a044562fbc2febf0ea29c8
/usr/lib/.build-id/af
/usr/lib/.build-id/af/b4bf0e341c4dfa16d4d62b8400d92ef4366fcb
/usr/lib/.build-id/b5
/usr/lib/.build-id/b5/9f6e9ebc174bbbba56e897af5d52cd33c10ea9
/usr/lib/.build-id/b6
/usr/lib/.build-id/b6/00886195380798bdd4ffeb0150fe50b9a71d3b
/usr/lib/.build-id/bb
/usr/lib/.build-id/bb/64b53691510ff38e8df6f9667e8dfc0b8b18ec
/usr/lib/.build-id/c3
/usr/lib/.build-id/c3/ade8d9d99a553bde9b21ff78a61f680890a7b3
/usr/lib/.build-id/ce
/usr/lib/.build-id/ce/6abf67e98cbf753c634ee42ce47f3ccb0479bf
/usr/lib/.build-id/d4
/usr/lib/.build-id/d4/19dff32b41489921689086507bcfe5fb07af34
/usr/lib/.build-id/e5
/usr/lib/.build-id/e5/e0a15d87b5ed268577c9b166cef8c6590106ac
/usr/lib/.build-id/e7
/usr/lib/.build-id/e7/345224f08a156b6e5db4ba055f7534c14f36e2
/usr/lib/.build-id/f1
/usr/lib/.build-id/f1/4f25228ca9a0adfed9fe963fd3a1efbc2fcf26
/usr/lib/.build-id/fd
/usr/lib/.build-id/fd/50ba8be6d732a47385095efcfa823dc7270891
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/8e33c06dd28263b166c2cc2a81e8c2a6bd5835
/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 Nov 9 17:54:18 2021