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

apron-0.9.13-6.fc36 RPM for i686

From Fedora Rawhide for x86_64 / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 6.fc36 Build date: Mon Oct 4 21:55:02 2021
Group: Unspecified Build host: buildhw-x86-16.iad2.fedoraproject.org
Size: 6392225 Source RPM: apron-0.9.13-6.fc36.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

* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-6
  - OCaml 4.13.1 build
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/07
/usr/lib/.build-id/07/8e46087da83530a740ad1baa64ebb846c08454
/usr/lib/.build-id/16
/usr/lib/.build-id/16/565e455a76c447511489f37dd47adaf5f1692d
/usr/lib/.build-id/24
/usr/lib/.build-id/24/67f5e3567dfe1f80c2a55600528535ef969f55
/usr/lib/.build-id/28
/usr/lib/.build-id/28/d0a9299feecfbd07d19498a329eec865a6b0cc
/usr/lib/.build-id/2d
/usr/lib/.build-id/2d/72da29b866aa29af0e47c28f2bd2fe904e5e30
/usr/lib/.build-id/33
/usr/lib/.build-id/33/702c43fd9ba6603cba3b8c7858f812e0f90f82
/usr/lib/.build-id/3c
/usr/lib/.build-id/3c/182dea8815be19a63774c15cfbdff44e95030c
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/0d3ae62ba5de9812b132ccb3e9a6b06e5762a0
/usr/lib/.build-id/44
/usr/lib/.build-id/44/25e5ebcf8d3fd16e13304c4b529a3fa5ae6f85
/usr/lib/.build-id/57
/usr/lib/.build-id/57/aab3bf2427c3bbdea57ebda1f5346812ef384f
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/47133901713304de887c8d77830929fe27f4e6
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/9f34a02ae3f95b8dba550f98fd3077cbbff9b6
/usr/lib/.build-id/79
/usr/lib/.build-id/79/0cc75869844868b956c8382fc553554e30439f
/usr/lib/.build-id/87
/usr/lib/.build-id/87/0ed796c5d163d516a86d755b27881d43535fdb
/usr/lib/.build-id/96
/usr/lib/.build-id/96/0b2349223a912ad872494067c0da0dae3520e8
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/d068fcdf2cbdbe6e414234ef92b6c898a2f8fd
/usr/lib/.build-id/a9
/usr/lib/.build-id/a9/932da4079c7bf30a82b09c0163055ee83d2b5b
/usr/lib/.build-id/ac
/usr/lib/.build-id/ac/f231d5b26197a2b4fd02353c54efa891b5a3c6
/usr/lib/.build-id/ae
/usr/lib/.build-id/ae/44616f2d9130e00c57acd72aaf6c50b9aa061f
/usr/lib/.build-id/b8
/usr/lib/.build-id/b8/c6eafce22819e44a316233608ed017f7b8f4d0
/usr/lib/.build-id/b8/fa003f0482500ec52c3ea01dc7aa6aff71205a
/usr/lib/.build-id/c5
/usr/lib/.build-id/c5/b16d392409e3a219c33db639bda886288b6b93
/usr/lib/.build-id/ce
/usr/lib/.build-id/ce/962ae291d5b10df7c4bc354a7de12101b1869b
/usr/lib/.build-id/d3
/usr/lib/.build-id/d3/f7b34d368dae3195d7a0a7fe4a75c66275f9c5
/usr/lib/.build-id/dd
/usr/lib/.build-id/dd/7e8d33251e9faddc187002cc6ec79c5e4dccb6
/usr/lib/.build-id/e7
/usr/lib/.build-id/e7/29dff5a0607877eda268ffffacd129a918fbc6
/usr/lib/.build-id/fa
/usr/lib/.build-id/fa/d646e59fd7d0c9c944e73a9a5cecd63c14d27a
/usr/lib/.build-id/fd
/usr/lib/.build-id/fd/44b36ee0462b2193639ea180721f2bfb5c624a
/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, Fri Dec 31 00:39:24 2021