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 aarch64

From Fedora Rawhide for aarch64 / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 6.fc36 Build date: Mon Oct 4 21:56:18 2021
Group: Unspecified Build host: buildvm-a64-06.iad2.fedoraproject.org
Size: 5991789 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/0f
/usr/lib/.build-id/0f/ef7566fae155ed46b78dc3c72331afe8e2f9f8
/usr/lib/.build-id/11
/usr/lib/.build-id/11/c8aa096f54a5e72fe627c6c51649fecd5fe903
/usr/lib/.build-id/1d
/usr/lib/.build-id/1d/7f861a68ee49d20c67d921e1c2b99bddf30bf7
/usr/lib/.build-id/1f
/usr/lib/.build-id/1f/41c94931cfa766093b61a4d32bdeeeb8b67976
/usr/lib/.build-id/3b
/usr/lib/.build-id/3b/399182d91d32903cc48d861b61a2bb22872d4e
/usr/lib/.build-id/42
/usr/lib/.build-id/42/58b5109d9784e74e478f2def12e80f44519b8f
/usr/lib/.build-id/55
/usr/lib/.build-id/55/cfcc8812afd940457171d0925e2310440f6ac2
/usr/lib/.build-id/59
/usr/lib/.build-id/59/a3c095c695bef197767cb4f225964bcee60a2b
/usr/lib/.build-id/5d
/usr/lib/.build-id/5d/21c838e4bdf6ab8a091a9f763ef7061f4563bf
/usr/lib/.build-id/5e
/usr/lib/.build-id/5e/78b359aac6214c28ddf0cb143903515c60bf52
/usr/lib/.build-id/66
/usr/lib/.build-id/66/b6d7d19e0288856e6a7edc0feb9863b8da7087
/usr/lib/.build-id/6e
/usr/lib/.build-id/6e/7f24153cb2446b5c816e2b6bd7b775819f1010
/usr/lib/.build-id/72
/usr/lib/.build-id/72/44c6ec9bfe491e1f04e9ee5ee235d6e746046e
/usr/lib/.build-id/7f
/usr/lib/.build-id/7f/d120cf01811fe8db996acafbdbab57b6d7635d
/usr/lib/.build-id/81
/usr/lib/.build-id/81/5e92037ade5510c72f688e0fa4de1e5717f908
/usr/lib/.build-id/83
/usr/lib/.build-id/83/a72bc96672a2caa8d556005610837b491acb17
/usr/lib/.build-id/91
/usr/lib/.build-id/91/0acf21004318345ebb733fe26cd5bb5874d9be
/usr/lib/.build-id/93
/usr/lib/.build-id/93/a3923615a95e1caba594235f3d67006895e299
/usr/lib/.build-id/99
/usr/lib/.build-id/99/5af6614e4331513ba2eea3d18e7ba3fc6da028
/usr/lib/.build-id/9d
/usr/lib/.build-id/9d/31829f0dd1d29c19059c5a63ff6a9bcf368072
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/292aa21262658697ea5ef60ed9ed45b368b662
/usr/lib/.build-id/a4
/usr/lib/.build-id/a4/7f4f7f77d5ce066adf92a8e839ecd1996a75cd
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/67ba7b4bb2b80aee1b5e8b62e0c487f2c7bdb3
/usr/lib/.build-id/af
/usr/lib/.build-id/af/c40313315dba8fcf4b6ff16ed2e39a8fccf428
/usr/lib/.build-id/b6
/usr/lib/.build-id/b6/97ad49d825214d5807a804c26c622826edddbb
/usr/lib/.build-id/dd
/usr/lib/.build-id/dd/025960802aa8634d0561c3cb01195e2f1e863d
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/8c1a579c47a36a9ce2c7ad24d05ba2f227ab7a
/usr/lib/.build-id/f9
/usr/lib/.build-id/f9/ae54fd451c0e218c086d488fa4616be55b5178
/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 Nov 29 00:46:31 2021