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

apron-0.9.13-2.fc33 RPM for aarch64

From Fedora 33 updates for aarch64 / Packages / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 2.fc33 Build date: Fri Nov 20 22:59:36 2020
Group: Unspecified Build host: buildvm-a64-10.iad2.fedoraproject.org
Size: 5989407 Source RPM: apron-0.9.13-2.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 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
* 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/bc12015f64c22519235e9d562e9db9a34b7342
/usr/lib/.build-id/14
/usr/lib/.build-id/14/c76b7dc405b13e82aadcc603c26a7ef8a9fecb
/usr/lib/.build-id/25
/usr/lib/.build-id/25/a0d697a55090cb70c5bddfbdb7a5e5e6b5459e
/usr/lib/.build-id/36
/usr/lib/.build-id/36/5c87dfd6aeaca77889d41d8e045a8d523c2cbc
/usr/lib/.build-id/54
/usr/lib/.build-id/54/c4fa715fae68c44ffd800d7a4f9e4c2265a8ba
/usr/lib/.build-id/5e
/usr/lib/.build-id/5e/8eca010babedbffe2655ab5cce659bebf27da1
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/af7976245972feb44044b3fd3e1e5dd6c2f74b
/usr/lib/.build-id/74
/usr/lib/.build-id/74/04e92c55ac3c96d4d62ccdf0075748aa348123
/usr/lib/.build-id/76
/usr/lib/.build-id/76/29ee95ab9a00a0fc69c879c5b1033574b761e0
/usr/lib/.build-id/78
/usr/lib/.build-id/78/94b5bba59b888970337473a3719c81a6842e8d
/usr/lib/.build-id/82
/usr/lib/.build-id/82/48d1b819d926e5345ad984d847f204a503afa6
/usr/lib/.build-id/82/694f380500f132e8fd3affae59f025a2c56890
/usr/lib/.build-id/8e
/usr/lib/.build-id/8e/95e3478cf3bdc893861c3f1b9469b51195bb85
/usr/lib/.build-id/90
/usr/lib/.build-id/90/3ae53cb16f8d7ef273f2aebb08616891e833e2
/usr/lib/.build-id/92
/usr/lib/.build-id/92/ba982fb75a1c230c36d14a33b264b16498007a
/usr/lib/.build-id/97
/usr/lib/.build-id/97/a54238fc7ca33d30b1e789d3cb1afbc7deeb8b
/usr/lib/.build-id/99
/usr/lib/.build-id/99/97a6e17cd90c90a022af69fb9dfbd8234f75ee
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/b650ce611a174b3d58d73b573d3625195debaf
/usr/lib/.build-id/c8
/usr/lib/.build-id/c8/7a89f82bd25cc941acffd0e9c52a0db60daee5
/usr/lib/.build-id/cd
/usr/lib/.build-id/cd/fd28859f3da7979cbd94fc65013bf8ca125f7d
/usr/lib/.build-id/cf
/usr/lib/.build-id/cf/6c860503c4bbe60c69a2891ad28508dd964afa
/usr/lib/.build-id/d2
/usr/lib/.build-id/d2/d73e3084e40bcffe7b98aff6c2ee722835af63
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/76c5480b7cdb7884552b73c4dcb026410c357d
/usr/lib/.build-id/e2
/usr/lib/.build-id/e2/066fbfed017f0ff0f50defbb63b9b6fa4a6499
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/5a5d10da858cd9091df9f9983718c1666d3bb2
/usr/lib/.build-id/ef
/usr/lib/.build-id/ef/08c80650d18fdb9a0328a22d1c0977968bd1ad
/usr/lib/.build-id/f1
/usr/lib/.build-id/f1/ad93d6151caa98f38a3e0f6d6c61545095a939
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/bfe9892e0bb490182d7cb70c6a8fb5d0c5d9ae
/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 16:48:45 2022