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:12:14 2023 |
Group: Unspecified | Build host: buildvm-x86-28.iad2.fedoraproject.org |
Size: 2960608 | 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/02 /usr/lib/.build-id/02/5ff1299043a78418e5005e6fef7670eeec3112 /usr/lib/.build-id/02/ac6cf6e9d8c70613157744e5ac83790b2f2b86 /usr/lib/.build-id/1a /usr/lib/.build-id/1a/6edaa94101ed4dd28fad1db10445b3b3c8c213 /usr/lib/.build-id/1f /usr/lib/.build-id/1f/a2e491bed1edbc3fccad5609325e70c7bc0686 /usr/lib/.build-id/27 /usr/lib/.build-id/27/7117d92f1de8a368cdf4050a70fed4ac2d91f5 /usr/lib/.build-id/28 /usr/lib/.build-id/28/095980dbb78d96b33f5956b26d72dde6f26b45 /usr/lib/.build-id/39 /usr/lib/.build-id/39/b30ed66158f5ed7bf30e88248847328f49b86b /usr/lib/.build-id/39/d6642227ab4495e87c3bbf22b9b25280eb173b /usr/lib/.build-id/41 /usr/lib/.build-id/41/6f6de71c33e02609be7346f1bf996ce9a522af /usr/lib/.build-id/43 /usr/lib/.build-id/43/42ae77a962a7fd9abe36b373bd2cd969d6b5e4 /usr/lib/.build-id/4f /usr/lib/.build-id/4f/ec1c74d42b04d3c47e4950dc8116cce52ff260 /usr/lib/.build-id/53 /usr/lib/.build-id/53/04ae8b10a10b90d7e5c86064c842547451c9cf /usr/lib/.build-id/58 /usr/lib/.build-id/58/5b07505a12dc0afbe88dc76ede5da87de8044e /usr/lib/.build-id/5b /usr/lib/.build-id/5b/1cb9aadc47420161b529b57faf74ee22b9a703 /usr/lib/.build-id/5c/91acaf078a7330fc720067c3ad35e47fefe1d9 /usr/lib/.build-id/64 /usr/lib/.build-id/64/6e93832ce18f5db1aefc725df288128c4874a9 /usr/lib/.build-id/8b /usr/lib/.build-id/8b/20c41013f81c896c594c17d9f32a38ed01de9c /usr/lib/.build-id/8c/a515ed454f301ea0d8328b2ff9837c7c9cbe52 /usr/lib/.build-id/90 /usr/lib/.build-id/90/a3e796db33ef2d67ed90469f0eea9d32dc42cf /usr/lib/.build-id/95 /usr/lib/.build-id/95/5dafec38892e90f3980f8f92ae8c0ee21e07fc /usr/lib/.build-id/9f /usr/lib/.build-id/9f/74c42bdff8dbb38ae1e4af9b9b11b970d62232 /usr/lib/.build-id/a1 /usr/lib/.build-id/a1/a4752f91dc00d9f83a5a51b47a30275b0fd398 /usr/lib/.build-id/a2 /usr/lib/.build-id/a2/7ba175815d4950be6b70f2ef109228d8dedc38 /usr/lib/.build-id/ae/e53412aa60e0ae5c0788d2e6affc62357fcfe9 /usr/lib/.build-id/b3 /usr/lib/.build-id/b3/cf8094f4ffdff1d374cf6722a146ace045bec3 /usr/lib/.build-id/be /usr/lib/.build-id/be/b969ff8799386aa388515d66e19abda116f0db /usr/lib/.build-id/d0 /usr/lib/.build-id/d0/af51292837301643f74bf16930eacc8f673deb /usr/lib/.build-id/d8 /usr/lib/.build-id/d8/691ab3fd3cadb7fff5efa9f7207c6fda97e394 /usr/lib/.build-id/db /usr/lib/.build-id/db/b7bf04fae0e52d7a3a1a3b6d360ae29ceb2d34 /usr/lib/.build-id/dc /usr/lib/.build-id/dc/721435655d18ee465b7d50e26a0b59cc291829 /usr/lib/.build-id/f4 /usr/lib/.build-id/f4/e251485d5869311d9bc1107e4203e74d5196cc /usr/lib/.build-id/f6 /usr/lib/.build-id/f6/7ebff4235a15d0e10a49ed9c813e8dd794555b /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, Thu May 9 21:57:25 2024