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

apron-0.9.13-17.fc38 RPM for s390x

From Fedora 38 for s390x / a

Name: apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 17.fc38 Build date: Thu Mar 23 17:11:35 2023
Group: Unspecified Build host: buildvm-s390x-20.s390.fedoraproject.org
Size: 5911295 Source RPM: apron-0.9.13-17.fc38.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

* 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
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

Files

/usr/lib/.build-id
/usr/lib/.build-id/00
/usr/lib/.build-id/00/2a7f807858b203c62676fd53934a6f456673bf
/usr/lib/.build-id/18
/usr/lib/.build-id/18/34e57c7201f0d49d9ed07ead8ace71b924aab8
/usr/lib/.build-id/28
/usr/lib/.build-id/28/808679ffce9c152634ece63174f77e67cde9a4
/usr/lib/.build-id/35
/usr/lib/.build-id/35/6c56d6e581ed1436b77eb965f1340f34731ec8
/usr/lib/.build-id/52
/usr/lib/.build-id/52/ab053ab52fd29b8dfc6c77ff43d859c33f64d8
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/9a613049c3c7c481b9f4d80a747b3a2dc1f59a
/usr/lib/.build-id/76
/usr/lib/.build-id/76/ff594eb7fd08b89b4faa6e4c65b923e7c418c2
/usr/lib/.build-id/7b
/usr/lib/.build-id/7b/6d339d7373fab5d835c10684e121a18fa01abb
/usr/lib/.build-id/7b/76b445e1743fc99f8733f0eb965cb133808459
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/ed9597c7520b06ff009ede7b39d605f7fd1fbc
/usr/lib/.build-id/87
/usr/lib/.build-id/87/ae34a591acc8d5718e8669a106148f522a2096
/usr/lib/.build-id/89
/usr/lib/.build-id/89/7c1754325c47a1ded414603da2ba5444cade5d
/usr/lib/.build-id/90
/usr/lib/.build-id/90/82d07cfe67c18a116a959431fb0d3ed0157cb4
/usr/lib/.build-id/90/a78716fbfccf26b4a1970bc6dfc8951cb40202
/usr/lib/.build-id/91
/usr/lib/.build-id/91/8c0a58cb33358869fb778bf50014aa3113ee3d
/usr/lib/.build-id/94
/usr/lib/.build-id/94/7f41d7d4f28f9bcb52cb291c4e4e7dd5c5606c
/usr/lib/.build-id/9e
/usr/lib/.build-id/9e/a9143134f9250239dcbc1ae71878ce5a862efd
/usr/lib/.build-id/a0
/usr/lib/.build-id/a0/08d4366f2d8488ee545e356b005fe8d2310d8e
/usr/lib/.build-id/a5
/usr/lib/.build-id/a5/9acfa1e57c8a59619839ce84bc33b1bfedf0ec
/usr/lib/.build-id/c2
/usr/lib/.build-id/c2/129e62832bfeac150f536e9a325009f374bb22
/usr/lib/.build-id/c8
/usr/lib/.build-id/c8/752cc93fe6c88f44502c8fcaf87112f9c84a0b
/usr/lib/.build-id/cd
/usr/lib/.build-id/cd/612e028c32043b41a35222bee88dbbeb6ec867
/usr/lib/.build-id/d2
/usr/lib/.build-id/d2/f358a2cdabfc0f029c312647f734eef70c498f
/usr/lib/.build-id/d8
/usr/lib/.build-id/d8/99bf00c26c69d3a2b3b884db202feab2e3dcdc
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/79b933c0f7dc09a4666bf8e2d9c0f0388d012c
/usr/lib/.build-id/e4
/usr/lib/.build-id/e4/3152d56465426956f2c717a98cf79763290f65
/usr/lib/.build-id/fa
/usr/lib/.build-id/fa/471b7260f3b31b5a40dd7bc9c773be5bc628ac
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/62fa2e9ef9a9915514f1d7529f9b21d2a87522
/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, Tue Apr 9 23:07:34 2024