Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
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.
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
* 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
/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