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 armv7hl

From Fedora Rawhide for armhfp / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 6.fc36 Build date: Mon Oct 4 21:57:53 2021
Group: Unspecified Build host: buildvm-a32-10.iad2.fedoraproject.org
Size: 4752054 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/04
/usr/lib/.build-id/04/459f4261eed6232392672de776d7040d086fec
/usr/lib/.build-id/17
/usr/lib/.build-id/17/ba6c6e7cc9e28c8453622c874580545e1d8701
/usr/lib/.build-id/18
/usr/lib/.build-id/18/3b7f3e597a9c8e32a0133c81f8af3e67d4565a
/usr/lib/.build-id/27
/usr/lib/.build-id/27/c390ccb0311eb7ce4500b6fcae295ae56ae69a
/usr/lib/.build-id/3a
/usr/lib/.build-id/3a/d056732b335e1a7ce6f7e8aecfcaa3da1ae85d
/usr/lib/.build-id/44
/usr/lib/.build-id/44/82accc2e3bc825d6a42ca57820a045fbd0d42f
/usr/lib/.build-id/57
/usr/lib/.build-id/57/cec973acdf35c75d68b0e705fe4c74fe2c2224
/usr/lib/.build-id/5a
/usr/lib/.build-id/5a/10379576f3f7fddfa7f2ee6bc96cbaef3b5036
/usr/lib/.build-id/5d
/usr/lib/.build-id/5d/127c7aaef485023fc8fec4e0bd4e3552cc2ebf
/usr/lib/.build-id/5e
/usr/lib/.build-id/5e/c22f470ae9a0250e81db6b45bddc47eb1dbaf2
/usr/lib/.build-id/65
/usr/lib/.build-id/65/0a34db340521f6c82b1ae3767c6bb2247ca335
/usr/lib/.build-id/6b
/usr/lib/.build-id/6b/110eeed512f93b36336d3e820e43757dae4e22
/usr/lib/.build-id/7f
/usr/lib/.build-id/7f/44159ce6267ca2de8eb31388090b34e9fe3b26
/usr/lib/.build-id/86
/usr/lib/.build-id/86/b0489c8b1c74556aa78ff69d4c5438fbd6407f
/usr/lib/.build-id/8c
/usr/lib/.build-id/8c/6db8d4eea132570e1ecba5f615dc84ccf44ab0
/usr/lib/.build-id/9c
/usr/lib/.build-id/9c/55fbfb55745458e269598d9afcf01241efbb58
/usr/lib/.build-id/a6
/usr/lib/.build-id/a6/149aa634e41d0a00c8571e60994459b6e5ea1d
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/5e1ca9df42d9cd3d8e756d84c7d2648157ef48
/usr/lib/.build-id/bd
/usr/lib/.build-id/bd/69a991ec73791bbf8d140d2e4ddaa82b4814c0
/usr/lib/.build-id/c2
/usr/lib/.build-id/c2/8333ad73828bd5df22174d12ae9e8d574b0add
/usr/lib/.build-id/c4
/usr/lib/.build-id/c4/65f81d3a2b221d86364fd8c6228e359daeaa92
/usr/lib/.build-id/cc
/usr/lib/.build-id/cc/191110d83276e6ae5fe320a520ca540e2bb97c
/usr/lib/.build-id/ce
/usr/lib/.build-id/ce/b69637bcf01c60e754bb73a0fc9ad117b8f150
/usr/lib/.build-id/e1
/usr/lib/.build-id/e1/1b5d3a3c96e16205139941da9e7a62a820d537
/usr/lib/.build-id/e2
/usr/lib/.build-id/e2/10b66008fa7f74dbf1678500ba5bdde742971b
/usr/lib/.build-id/ed
/usr/lib/.build-id/ed/be80e70c631d1fb6a92c08bf9dc622630358f7
/usr/lib/.build-id/ee
/usr/lib/.build-id/ee/f9f755d8a3c5efd043e5ca5a8fe4c1565a9fc0
/usr/lib/.build-id/fb
/usr/lib/.build-id/fb/1c5fa8d40ab06dd8d8f307c3ea61b96f5f1aa3
/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 01:06:14 2021