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 x86_64

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:35 2021
Group: Unspecified Build host: buildvm-x86-16.iad2.fedoraproject.org
Size: 5733362 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/06
/usr/lib/.build-id/06/d64d4da4fad4ffb61c72207fef91d1ded10fb3
/usr/lib/.build-id/1f
/usr/lib/.build-id/1f/5a89930896f3b45bc203de876ee13c58672520
/usr/lib/.build-id/23
/usr/lib/.build-id/23/2ccb7bfc8651cb3bab5f78dac43a9e606dc92b
/usr/lib/.build-id/23/ccc400c894fd433be1c5c189f26ba30b53cfd6
/usr/lib/.build-id/29
/usr/lib/.build-id/29/a18a5750e70bcabd6851f2faed0f53aecfdd17
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/ffdddf3c3641123b6e266ee125ee0046da2f56
/usr/lib/.build-id/30
/usr/lib/.build-id/30/fdf221a2b14616624d12bb5438ab0a59ec0139
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/dceb0f134f291154bd1070a27b115a6b86bce1
/usr/lib/.build-id/49
/usr/lib/.build-id/49/6c5a66958247ab552d6c9dd9a7be9d48a4aad5
/usr/lib/.build-id/51
/usr/lib/.build-id/51/44c84af5d7dc44aec5c540c88957d11ca2968c
/usr/lib/.build-id/51/d86d8d5a8975d5aa8a1a99c52bac0145422de1
/usr/lib/.build-id/59
/usr/lib/.build-id/59/ab54d74b04012fb05c01f4115ff76c982c90a6
/usr/lib/.build-id/64
/usr/lib/.build-id/64/1828a9335380cbf1adda59bdc2b9ebbf6cfa37
/usr/lib/.build-id/65
/usr/lib/.build-id/65/071505dfa40e207e7ecb62015e6d7f05a54ade
/usr/lib/.build-id/69
/usr/lib/.build-id/69/68ffcf2ca580cfc418f3bfc52de0cd06e97a99
/usr/lib/.build-id/71
/usr/lib/.build-id/71/676cade0928641a8fb37623ad8d939d448e41a
/usr/lib/.build-id/7a
/usr/lib/.build-id/7a/a8cb8de21996b6d9b2519736b7071ebb1ad7d6
/usr/lib/.build-id/81
/usr/lib/.build-id/81/0dbf9e236eb0dddd7d4cd51499543d8f1da1f1
/usr/lib/.build-id/86
/usr/lib/.build-id/86/e8e8add1e03839dfc5de71bd6116576b7e30bd
/usr/lib/.build-id/95
/usr/lib/.build-id/95/be6d5760e7bda2218cb5968a56644acce54844
/usr/lib/.build-id/9b
/usr/lib/.build-id/9b/702f08f7d98e79ddefb3a872526ba62dd5e45f
/usr/lib/.build-id/ab
/usr/lib/.build-id/ab/c5dd5b95af4763f019dff1058bfe9fcb95e3c7
/usr/lib/.build-id/c4
/usr/lib/.build-id/c4/265abd0cfcb6585a9a7f1bfbd970d65d509a5d
/usr/lib/.build-id/c7
/usr/lib/.build-id/c7/7562e8f73e4d4cd3e49593eff8ca782b4ad340
/usr/lib/.build-id/d4
/usr/lib/.build-id/d4/41fb666f0c1e3f7e56a98b2736c1cf8060aadf
/usr/lib/.build-id/e6
/usr/lib/.build-id/e6/6eb2665fe128cd805832dc6b2e1e97fb83adaf
/usr/lib/.build-id/f6
/usr/lib/.build-id/f6/f683bd2692aebb1168171642ba1d57190b6817
/usr/lib/.build-id/fb
/usr/lib/.build-id/fb/56deb4acf77126683c9ed1063e24c441d291e9
/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 May 9 22:10:41 2022