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 armv7hl

From Fedora 33 for armhfp / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 1.fc33 Build date: Sat Sep 26 23:31:12 2020
Group: Unspecified Build host: buildvm-a32-04.iad2.fedoraproject.org
Size: 4645034 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/90b0e3fbbc9d918adf83bd3778de3f1b44ea14
/usr/lib/.build-id/30
/usr/lib/.build-id/30/8b89fd9b4c86a5bc855cbb0be655824dc20830
/usr/lib/.build-id/35
/usr/lib/.build-id/35/2eec627de9797f0df79da7cc9bf0265768d058
/usr/lib/.build-id/3f
/usr/lib/.build-id/3f/310472de178e5f4f37a578017f5b828917e7b8
/usr/lib/.build-id/44
/usr/lib/.build-id/44/8de79a5c7c1e04b83896d7cb5f9f928f089150
/usr/lib/.build-id/47
/usr/lib/.build-id/47/d351ad906d666fd96a6e032069b2325a4cbfd9
/usr/lib/.build-id/62
/usr/lib/.build-id/62/451a94efd43fc558383312ca9c10299b5da4e6
/usr/lib/.build-id/6f
/usr/lib/.build-id/6f/fc33399cea582952e13a2f800842407f7002b3
/usr/lib/.build-id/71
/usr/lib/.build-id/71/8f6f03cea301b0cc311c8117620d12dc5c173f
/usr/lib/.build-id/77
/usr/lib/.build-id/77/27273c127445ba89938cfaaed0b1fb2f97440e
/usr/lib/.build-id/7d
/usr/lib/.build-id/7d/e00181d2941449dc78007f037cc03f9914b228
/usr/lib/.build-id/7d/e9ac9481048c715bb2bff75855a4a289d4d503
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/68579d9bc6221c0b4bcfd93c6a6c5f1c8e21dc
/usr/lib/.build-id/81
/usr/lib/.build-id/81/517cb9dbd94a46d28ee2084a47c1befa633ce4
/usr/lib/.build-id/88
/usr/lib/.build-id/88/bdbeb484b75899f1e2b6fa8e05498d6281a75e
/usr/lib/.build-id/89
/usr/lib/.build-id/89/054012591d88f466e77f4cec298c62318ffcd9
/usr/lib/.build-id/a0
/usr/lib/.build-id/a0/4ababd15b246c06ebcf46f469122c457dfdb3e
/usr/lib/.build-id/ac
/usr/lib/.build-id/ac/9b523d1c819046e68c20bdc60e464f7633eeae
/usr/lib/.build-id/b4
/usr/lib/.build-id/b4/57ae58d1f01ce78b4fedefbd3e95cf8c128e81
/usr/lib/.build-id/bc
/usr/lib/.build-id/bc/0628226577075855bc3ae8b3ff80cd7cf67d94
/usr/lib/.build-id/c7
/usr/lib/.build-id/c7/cb6cf43af29ecb76846c34418cc54dfecc88c4
/usr/lib/.build-id/d2
/usr/lib/.build-id/d2/e59ad0d543b2cd2fcecb3e623cb53257b24617
/usr/lib/.build-id/dc
/usr/lib/.build-id/dc/554605229889c22c87dce7bcfdf06086b15425
/usr/lib/.build-id/dd
/usr/lib/.build-id/dd/aae8dc486a8a53c3bc43f5753ea3dbbb018890
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/76c4f3f0bb40735a5236f5de05ca441703ee2c
/usr/lib/.build-id/e6
/usr/lib/.build-id/e6/67bec1dfc0acf9e17fb85f0c1eb1317ef4164a
/usr/lib/.build-id/e8
/usr/lib/.build-id/e8/88f15eaa8ed4273696011a4343e7c4bec5adcc
/usr/lib/.build-id/fe
/usr/lib/.build-id/fe/b5a5c61d00433711e15791d1dab5aa317990f3
/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, Sun Jan 9 17:19:28 2022