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

apron-0.9.14-1.fc39 RPM for s390x

From Fedora 39 for s390x / a

Name: apron Distribution: Fedora Project
Version: 0.9.14 Vendor: Fedora Project
Release: 1.fc39 Build date: Fri Sep 22 18:02:52 2023
Group: Unspecified Build host: buildvm-s390x-20.s390.fedoraproject.org
Size: 4072301 Source RPM: apron-0.9.14-1.fc39.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

LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later

Changelog

* Fri Sep 22 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-1
  - Version 0.9.14
  - Add patch to fix japron linkage
  - Omit timestamps from generated documentation
* Sat Aug 05 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-0.6.beta.2
  - Fix failure to install (rhbz#2229356)
* Thu Aug 03 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-0.5.beta.2
  - Enable pplite support
* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-0.4.beta.2
  - Update to 0.9.14-beta2
  - Enable csdp support
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.14-0.3.beta1
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-0.2.beta1
  - OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-0.1.beta1
  - Update to 0.9.14-beta1 for OCaml 5.0 support
  - Drop upstreamed mpfr and custom-operations patches
  - Enable glpk support
  - Add patch to fix builds on bytecode-only architectures
* Thu Mar 23 2023 Jerry James <loganjerry@gmail.com> - 0.9.13-17
  - Fix reinsertion of -Werror=format-security (bz 2181282)
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-16
  - Rebuild OCaml packages for F38
* Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Tue Dec 06 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-14
  - Work around build failure with make 4.4 (rhbz#2150171)
* Thu Aug 11 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-13
  - Convert License tag to SPDX
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-13
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Jul 05 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-12
  - Do not build japron on i686 (rhbz#2104018)
  - Use new OCaml macros
* Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-11
  - OCaml 4.14.0 rebuild
* Wed Apr 27 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-10
  - Add -custom-operations patch to silence warnings
  - Trim Requires
  - Build native OCaml objects with debuginfo
* Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 0.9.13-10
  - Rebuilt for java-17-openjdk as system jdk
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-9
  - OCaml 4.13.1 rebuild to remove package notes
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 0.9.13-7
  - Rebuild for ocaml-mlgmpidl 1.2.14
* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-6
  - OCaml 4.13.1 build

Files

/usr/lib/.build-id
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/4317fff17dcab189473ee8a73ed3ac51c30bc9
/usr/lib/.build-id/13
/usr/lib/.build-id/13/6801a075f803433c0736ab40c3a5f2b8c1e8c1
/usr/lib/.build-id/24
/usr/lib/.build-id/24/46a9fd7232cb6796db613ef21dd8624aadbf0b
/usr/lib/.build-id/36
/usr/lib/.build-id/36/bec80e4b1a3a5354024ed3f67fa89570bbe366
/usr/lib/.build-id/49
/usr/lib/.build-id/49/a3b3f81697447043129d8465ea6bece24ccf6a
/usr/lib/.build-id/4d
/usr/lib/.build-id/4d/50d5a4668c22321f2db073958351459e8b91d0
/usr/lib/.build-id/5b
/usr/lib/.build-id/5b/550105ef8518ec4c798c4391afcb835202b9de
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/5d747bed85bd768af5106bc3e94c3ad0b906ae
/usr/lib/.build-id/62
/usr/lib/.build-id/62/d992fb5a6859f0a41944d019616d68d821906d
/usr/lib/.build-id/67
/usr/lib/.build-id/67/47cc4a0875ae5856a4f9a3500e0082bedc4cbb
/usr/lib/.build-id/73
/usr/lib/.build-id/73/09f38ae120ec8bb679ce36519c1609a643ac09
/usr/lib/.build-id/94
/usr/lib/.build-id/94/7f8521bbb913f7d2000d5c08a44826ce046bad
/usr/lib/.build-id/9b
/usr/lib/.build-id/9b/307cd094b4842cad98491b7bfd6254b0f5687f
/usr/lib/.build-id/c6
/usr/lib/.build-id/c6/c1b21fc3ee3cde038ad9492608a9c2392fb6b4
/usr/lib/.build-id/d6
/usr/lib/.build-id/d6/851ae1a1b728c1775a7a6a388bd0115331e946
/usr/lib/.build-id/da
/usr/lib/.build-id/da/fc231d14c02bf746ff8c62e8a22945efa9ef97
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/15866b3ec0be66c56a9007c78f95b30ad4fe13
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/f1ce6ddce8a56ec93f829d9d62b8e3d10c8396
/usr/lib/.build-id/f8
/usr/lib/.build-id/f8/cec105f22f0060b0eef6fc2644315e141fd1c4
/usr/lib64/libap_pkgrid.so.0
/usr/lib64/libap_pkgrid.so.0.9.14
/usr/lib64/libap_ppl.so.0
/usr/lib64/libap_ppl.so.0.9.14
/usr/lib64/libap_pplite.so.0
/usr/lib64/libap_pplite.so.0.9.14
/usr/lib64/libapron.so.0
/usr/lib64/libapron.so.0.9.14
/usr/lib64/libapronxx.so.0
/usr/lib64/libapronxx.so.0.9.14
/usr/lib64/libavoD.so.0
/usr/lib64/libavoD.so.0.9.14
/usr/lib64/libavoMPQ.so.0
/usr/lib64/libavoMPQ.so.0.9.14
/usr/lib64/libboxD.so.0
/usr/lib64/libboxD.so.0.9.14
/usr/lib64/libboxMPFR.so.0
/usr/lib64/libboxMPFR.so.0.9.14
/usr/lib64/libboxMPQ.so.0
/usr/lib64/libboxMPQ.so.0.9.14
/usr/lib64/libfppD.so.0
/usr/lib64/libfppD.so.0.9.14
/usr/lib64/libfppDl.so.0
/usr/lib64/libfppDl.so.0.9.14
/usr/lib64/liboctD.so.0
/usr/lib64/liboctD.so.0.9.14
/usr/lib64/liboctMPQ.so.0
/usr/lib64/liboctMPQ.so.0.9.14
/usr/lib64/libpolkaMPQ.so.0
/usr/lib64/libpolkaMPQ.so.0.9.14
/usr/lib64/libpolkaRll.so.0
/usr/lib64/libpolkaRll.so.0.9.14
/usr/lib64/libt1pD.so.0
/usr/lib64/libt1pD.so.0.9.14
/usr/lib64/libt1pMPFR.so.0
/usr/lib64/libt1pMPFR.so.0.9.14
/usr/lib64/libt1pMPQ.so.0
/usr/lib64/libt1pMPQ.so.0.9.14
/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, Wed Apr 10 02:38:56 2024