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

apron-0.9.13-3.fc34 RPM for armv7hl

From Fedora 34 for armhfp / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 3.fc34 Build date: Tue Jan 26 01:57:53 2021
Group: Unspecified Build host: buildvm-a32-26.iad2.fedoraproject.org
Size: 4627718 Source RPM: apron-0.9.13-3.fc34.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

* 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
* 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/12
/usr/lib/.build-id/12/499d4f07ed877d2e0980a977c7410f9a702f1e
/usr/lib/.build-id/1a
/usr/lib/.build-id/1a/de16066d60753523a2f2d1b17f1de15747f1ec
/usr/lib/.build-id/1e
/usr/lib/.build-id/1e/515294897db4390a3084f80e9c2add510da4a9
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/671ca9ce3d17607973292ba8ccf7935bfe5447
/usr/lib/.build-id/45
/usr/lib/.build-id/45/b14f4c8bc699e680da1dae0f0d4da6c03267ac
/usr/lib/.build-id/48
/usr/lib/.build-id/48/6677150be12f6d3a3e8b63268d419c19c9835b
/usr/lib/.build-id/4a
/usr/lib/.build-id/4a/3b8862bd8d60fc5daa1e5d34f68f9786203fe1
/usr/lib/.build-id/63
/usr/lib/.build-id/63/4856b08189d649e841819c855cfcc3206a3f65
/usr/lib/.build-id/64
/usr/lib/.build-id/64/285919c3058b5a80e47dda8eca63613cda1c35
/usr/lib/.build-id/65
/usr/lib/.build-id/65/1fe5c90df9293660a082a7deef4972cc404cdc
/usr/lib/.build-id/6a
/usr/lib/.build-id/6a/6bfaf196f921af66eb7e7100dd1044d9e4d8a8
/usr/lib/.build-id/6e
/usr/lib/.build-id/6e/9b840b52c24598e1e188cb26cefea2fd154b73
/usr/lib/.build-id/78
/usr/lib/.build-id/78/776b9e7212dee8242a4a677b0e8f2f347ab748
/usr/lib/.build-id/80
/usr/lib/.build-id/80/b6db0192cc0b53fbbdb2c9de239cf8af602141
/usr/lib/.build-id/87
/usr/lib/.build-id/87/43801e224989dd33feef5a390e1e6260202946
/usr/lib/.build-id/89
/usr/lib/.build-id/89/b70d717d392bc4dc45ad535f1b4fb83a0bf375
/usr/lib/.build-id/9c
/usr/lib/.build-id/9c/0db8891ccedd8ef7d7898897e3246ba29e3c2f
/usr/lib/.build-id/a9
/usr/lib/.build-id/a9/e0a9eacddb5adbf00e0e2fd042ad0583943646
/usr/lib/.build-id/b0
/usr/lib/.build-id/b0/7ea56434507a13d0925ae489d4fb51365c34a4
/usr/lib/.build-id/b9
/usr/lib/.build-id/b9/9e14d11094248839276d2e4702e2a1b8b63c57
/usr/lib/.build-id/d3
/usr/lib/.build-id/d3/8063b21f5ac87832e616e553c5cf80bd8cc01f
/usr/lib/.build-id/db
/usr/lib/.build-id/db/855e027db97b20a9f23369a8ffe653010c800e
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/3b51f97fa50ccd4f7a46c6f011a5315d4e5739
/usr/lib/.build-id/e5
/usr/lib/.build-id/e5/ba9d863fcccc8018e1ee85e1a2feabf506cb09
/usr/lib/.build-id/ed
/usr/lib/.build-id/ed/2a21ad8762e584f8a50835e01f4a444d015620
/usr/lib/.build-id/ef
/usr/lib/.build-id/ef/1e7d222446d676dfd7a300c4ce01ac775a6e50
/usr/lib/.build-id/f7
/usr/lib/.build-id/f7/8b56521bf830c70356d25be735080ef00e6f7c
/usr/lib/.build-id/fc
/usr/lib/.build-id/fc/ebb771449615584b5de1e7ec2e4a734a28a530
/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 20:32:22 2022