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

ocaml-apron-0.9.13-17.fc38 RPM for aarch64

From Fedora 38 for aarch64 / o

Name: ocaml-apron Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 17.fc38 Build date: Thu Mar 23 17:10:16 2023
Group: Unspecified Build host: buildvm-a64-07.iad2.fedoraproject.org
Size: 8598208 Source RPM: apron-0.9.13-17.fc38.src.rpm
Packager: Fedora Project
Url: https://antoinemine.github.io/Apron/doc/
Summary: Ocaml interface to APRON
Ocaml interface to the APRON library.

Provides

Requires

License

LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception

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/04
/usr/lib/.build-id/04/86041ebf6a3f4d286eaad9a8c048554313a554
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/c063a3ae7b8cd3132e919a3ff98389367264a5
/usr/lib/.build-id/0f/eceab6deffe49e7a33d17b6a7e6440ccd59003
/usr/lib/.build-id/1c
/usr/lib/.build-id/1c/45126d36905b85d7322b928eb7ccf50944f80d
/usr/lib/.build-id/23
/usr/lib/.build-id/23/1e9598d514b37b359091a4f67a1072633578fe
/usr/lib/.build-id/23/9b7afd2d6043efa686cfd1999f2b1fb86d1281
/usr/lib/.build-id/28
/usr/lib/.build-id/28/8c0799e331194367f7c17e92f83e0ee2217ecc
/usr/lib/.build-id/2e
/usr/lib/.build-id/2e/ea0333bf393d403f75b7a86508e4b83a9c6743
/usr/lib/.build-id/32/d676286e5623320970a3b459d1a70f13cc6a2c
/usr/lib/.build-id/54/b30a8ada3787c940a8ffc446426a3f3ea87e87
/usr/lib/.build-id/62/78a82992fd4a35a365fff5926f4b809b94dd0c
/usr/lib/.build-id/64
/usr/lib/.build-id/64/4469fbb388c9b0d30bbb2493a4ad78295897bf
/usr/lib/.build-id/75
/usr/lib/.build-id/75/8b1015b1909e615cf9a1ce9f15b781b4f4411b
/usr/lib/.build-id/76
/usr/lib/.build-id/76/9f4cb029358fe6e28b38e4c2e9e8047a584e4c
/usr/lib/.build-id/86
/usr/lib/.build-id/86/ab5927ef42d5c9e1284af5ab309aee64f37bdc
/usr/lib/.build-id/90
/usr/lib/.build-id/90/3935cb70c6ff42b84a6faa5a07c2fd2271377f
/usr/lib/.build-id/91
/usr/lib/.build-id/91/ccbe3ec1033c9922df4c9f9eac10fcc16cce91
/usr/lib/.build-id/9b
/usr/lib/.build-id/9b/25002acad36d6315b76c0459f4b2c6e36ce03d
/usr/lib/.build-id/9d/ad05cae28c0d22522f57e80549b4aa0ba97d8a
/usr/lib/.build-id/9e/0f14f1dbe0ef6de76ed14dd8ced20b9fc7c9cd
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/3e0229f4921ebeba240ce57dcc030b31f18a2a
/usr/lib/.build-id/a5
/usr/lib/.build-id/a5/0284be6f6f4f1a0a97d705b66cdd24d144c601
/usr/lib/.build-id/a8
/usr/lib/.build-id/a8/c4a3b93faf15b086fc17859e095fa5bbf3f9f6
/usr/lib/.build-id/a9
/usr/lib/.build-id/a9/8233a9c99e9c03e4d64a723b7be1844e48cb94
/usr/lib/.build-id/ab
/usr/lib/.build-id/ab/1db591badd4f71835eb50d14e7827684d4b257
/usr/lib/.build-id/af
/usr/lib/.build-id/af/f9441e1a7fbff013c295bf1526fc652354fcf1
/usr/lib/.build-id/b0
/usr/lib/.build-id/b0/90b9ef0cc4034e38f3658321e475645cca3750
/usr/lib/.build-id/bb
/usr/lib/.build-id/bb/c773c1abe598d9bf57778f5069c7860f541147
/usr/lib/.build-id/bd
/usr/lib/.build-id/bd/7c09e11e0c12446c7b58de7c1925b56c6fe211
/usr/lib/.build-id/ef
/usr/lib/.build-id/ef/1d9aae60de487c5222fe22c628413a7c7d3493
/usr/lib/.build-id/ef/ef5ac860c4fb34c5c8930e12e1af24b38dde4e
/usr/lib/.build-id/fa
/usr/lib/.build-id/fa/23695a43468791d05a33a940f6f86cb2ce74c1
/usr/lib64/ocaml/apron
/usr/lib64/ocaml/apron/META
/usr/lib64/ocaml/apron/apron.cma
/usr/lib64/ocaml/apron/apron.cmi
/usr/lib64/ocaml/apron/apron.cmxs
/usr/lib64/ocaml/apron/apron.d.cmxs
/usr/lib64/ocaml/apron/box.cmi
/usr/lib64/ocaml/apron/boxD.cma
/usr/lib64/ocaml/apron/boxD.cmxs
/usr/lib64/ocaml/apron/boxMPFR.cma
/usr/lib64/ocaml/apron/boxMPFR.cmxs
/usr/lib64/ocaml/apron/boxMPQ.cma
/usr/lib64/ocaml/apron/boxMPQ.cmxs
/usr/lib64/ocaml/apron/oct.cmi
/usr/lib64/ocaml/apron/octD.cma
/usr/lib64/ocaml/apron/octD.cmxs
/usr/lib64/ocaml/apron/octMPQ.cma
/usr/lib64/ocaml/apron/octMPQ.cmxs
/usr/lib64/ocaml/apron/polka.cmi
/usr/lib64/ocaml/apron/polkaGrid.cma
/usr/lib64/ocaml/apron/polkaGrid.cmi
/usr/lib64/ocaml/apron/polkaGrid.cmxs
/usr/lib64/ocaml/apron/polkaMPQ.cma
/usr/lib64/ocaml/apron/polkaMPQ.cmxs
/usr/lib64/ocaml/apron/polkaMPQ.d.cmxs
/usr/lib64/ocaml/apron/polkaRll.cma
/usr/lib64/ocaml/apron/polkaRll.cmxs
/usr/lib64/ocaml/apron/polkaRll.d.cmxs
/usr/lib64/ocaml/apron/ppl.cma
/usr/lib64/ocaml/apron/ppl.cmi
/usr/lib64/ocaml/apron/ppl.cmxs
/usr/lib64/ocaml/apron/t1p.cmi
/usr/lib64/ocaml/apron/t1pD.cma
/usr/lib64/ocaml/apron/t1pD.cmxs
/usr/lib64/ocaml/apron/t1pD.d.cmxs
/usr/lib64/ocaml/apron/t1pMPFR.cma
/usr/lib64/ocaml/apron/t1pMPFR.cmxs
/usr/lib64/ocaml/apron/t1pMPFR.d.cmxs
/usr/lib64/ocaml/apron/t1pMPQ.cma
/usr/lib64/ocaml/apron/t1pMPQ.cmxs
/usr/lib64/ocaml/apron/t1pMPQ.d.cmxs
/usr/lib64/ocaml/stublibs/dllap_ppl_caml.so
/usr/lib64/ocaml/stublibs/dllap_ppl_caml.so.owner
/usr/lib64/ocaml/stublibs/dllapron_caml.so
/usr/lib64/ocaml/stublibs/dllapron_caml.so.owner
/usr/lib64/ocaml/stublibs/dllboxD_caml.so
/usr/lib64/ocaml/stublibs/dllboxD_caml.so.owner
/usr/lib64/ocaml/stublibs/dllboxMPFR_caml.so
/usr/lib64/ocaml/stublibs/dllboxMPFR_caml.so.owner
/usr/lib64/ocaml/stublibs/dllboxMPQ_caml.so
/usr/lib64/ocaml/stublibs/dllboxMPQ_caml.so.owner
/usr/lib64/ocaml/stublibs/dlloctD_caml.so
/usr/lib64/ocaml/stublibs/dlloctD_caml.so.owner
/usr/lib64/ocaml/stublibs/dlloctMPQ_caml.so
/usr/lib64/ocaml/stublibs/dlloctMPQ_caml.so.owner
/usr/lib64/ocaml/stublibs/dllpolkaGrid_caml.so
/usr/lib64/ocaml/stublibs/dllpolkaGrid_caml.so.owner
/usr/lib64/ocaml/stublibs/dllpolkaMPQ_caml.so
/usr/lib64/ocaml/stublibs/dllpolkaMPQ_caml.so.owner
/usr/lib64/ocaml/stublibs/dllpolkaRll_caml.so
/usr/lib64/ocaml/stublibs/dllpolkaRll_caml.so.owner
/usr/lib64/ocaml/stublibs/dllt1pD_caml.so
/usr/lib64/ocaml/stublibs/dllt1pD_caml.so.owner
/usr/lib64/ocaml/stublibs/dllt1pMPFR_caml.so
/usr/lib64/ocaml/stublibs/dllt1pMPFR_caml.so.owner
/usr/lib64/ocaml/stublibs/dllt1pMPQ_caml.so
/usr/lib64/ocaml/stublibs/dllt1pMPQ_caml.so.owner
/usr/share/doc/ocaml-apron
/usr/share/doc/ocaml-apron/mlapronidl.pdf


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 22:47:55 2024