| 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.15 | Vendor: Fedora Project |
| Release: 6.fc42 | Build date: Thu Jan 16 12:30:26 2025 |
| Group: Unspecified | Build host: buildhw-x86-09.iad2.fedoraproject.org |
| Size: 2094858 | Source RPM: apron-0.9.15-6.fc42.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 Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Dec 27 2024 Jerry James <loganjerry@gmail.com> - 0.9.15-5 - Prevent segfaults in the OCaml garbage collector - Move configuration steps to %conf * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 0.9.15-3 - Fix VCS tag * Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 0.9.15-2 - OCaml 5.2.0 ppc64le fix * Thu Jun 13 2024 Jerry James <loganjerry@gmail.com> - 0.9.15-1 - Version 0.9.15 * Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-8 - OCaml 5.2.0 for Fedora 41 * Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 0.9.14-7 - Add patch to fix an internal division case * Wed Mar 13 2024 Jerry James <loganjerry@gmail.com> - 0.9.14-7 - Rebuild for flint 3.1.0 * Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.14-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.14-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-4 - OCaml 5.1.1 + s390x code gen fix for Fedora 40 * Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-3 - OCaml 5.1.1 rebuild for Fedora 40 * Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-2 - OCaml 5.1 rebuild for Fedora 40 * Wed Oct 04 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-1 - Add upstream patch for a japron hasVar bug * 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
/usr/lib/.build-id /usr/lib/.build-id/07 /usr/lib/.build-id/07/c2a38ea0de5a5e699000e84a3af78a9731ace5 /usr/lib/.build-id/1d /usr/lib/.build-id/1d/8ecc08e7d82c1eb7d0d80103da0e6fd9305148 /usr/lib/.build-id/26/9b39654de1767fb2ea70d151e4623930b9ba7a /usr/lib/.build-id/2d /usr/lib/.build-id/2d/d8fcb98c79791742c240729456d0bad4f7340e /usr/lib/.build-id/3c /usr/lib/.build-id/3c/9ceb8d7041d9134f60a7f6738b2bc8bc18939e /usr/lib/.build-id/40 /usr/lib/.build-id/40/496bfac00d7f33f2d82fb90b6eb06a2c5ac925 /usr/lib/.build-id/41 /usr/lib/.build-id/41/0e98f8bace164acbe9343f8e6c6711bda9a78b /usr/lib/.build-id/45/3fb78faadea90b30e1c243f964858906d2f87e /usr/lib/.build-id/48 /usr/lib/.build-id/48/f6b3302f1084c24dd1af6fd83d8fd4bfdb0bf9 /usr/lib/.build-id/57 /usr/lib/.build-id/57/74b7db9524fa6a9ce8943d9f584631352133f3 /usr/lib/.build-id/69 /usr/lib/.build-id/69/7334c7b15afe57f7462480e0cae71430ae5ba0 /usr/lib/.build-id/7f /usr/lib/.build-id/7f/4ddf60b2e1cd451bd1ac4693e54be7ec90f69d /usr/lib/.build-id/84 /usr/lib/.build-id/84/788bbd0a309e7d5849a10955755f019ac89d10 /usr/lib/.build-id/85 /usr/lib/.build-id/85/e4aeca55fa72a6585f6e77e2bc1f674e06d892 /usr/lib/.build-id/8d /usr/lib/.build-id/8d/a5ed4bcb6c5ad3a191f2d6859b2fb8863f2fac /usr/lib/.build-id/8f /usr/lib/.build-id/8f/c853dba7499ca43f678d4d9477c89ec6a4ed7c /usr/lib/.build-id/94 /usr/lib/.build-id/94/10a923b983475e5af0029867b911585f83b8f2 /usr/lib/.build-id/ad /usr/lib/.build-id/ad/20b658d575c8eaaf56f46f8d659c45ddf23aab /usr/lib/.build-id/af /usr/lib/.build-id/af/eb708ead2736231ba717098ed7dc1acefd4549 /usr/lib/.build-id/b2 /usr/lib/.build-id/b2/bc1171ae920a4b8bedb8171e8e99fa50d28514 /usr/lib/.build-id/b9 /usr/lib/.build-id/b9/7c08b6ae4f9417fce94e75c314ae6824fc7355 /usr/lib/.build-id/be /usr/lib/.build-id/be/e75cd0d20bee71c01ddbf869c37c376544b131 /usr/lib/.build-id/c2 /usr/lib/.build-id/c2/569e0146ee98408bbdb0053944e2517436771a /usr/lib/.build-id/c4/a357d4c1b8f766c7015301946f4a2daa9646d9 /usr/lib/.build-id/c4/b01e52ed99fc9c775a4c297bdb883519c09f95 /usr/lib/.build-id/cd /usr/lib/.build-id/cd/28d99e31e0e13101fdd567e409ee99768ee283 /usr/lib/.build-id/d5 /usr/lib/.build-id/d5/2ed211667d6ebef64bfd6a7f94111212085b98 /usr/lib/.build-id/d5/5b742e6378511a36a7e00839c60b0458979ff2 /usr/lib/.build-id/d6/ffd1f16a392a4a6527ae2d6c917d0cd44042ac /usr/lib/.build-id/eb /usr/lib/.build-id/eb/9145ab73de2678074631b8441b1365362ca734 /usr/lib/.build-id/ee /usr/lib/.build-id/ee/806bbf64a35339dff43f7eba99941ad255d6cd /usr/lib/.build-id/f4 /usr/lib/.build-id/f4/9dc27237b71153167fd181e9e21b4986a663f0 /usr/lib/.build-id/f5 /usr/lib/.build-id/f5/0dfcc3bb5640ce3469b64634dc31187964daa0 /usr/lib/.build-id/ff /usr/lib/.build-id/ff/27b41de58a63bcc0a0b02ce1f582623b2b334c /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/avo.cmi /usr/lib64/ocaml/apron/avoD.cma /usr/lib64/ocaml/apron/avoD.cmxs /usr/lib64/ocaml/apron/avoMPQ.cma /usr/lib64/ocaml/apron/avoMPQ.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/fpp.cmi /usr/lib64/ocaml/apron/fppD.cma /usr/lib64/ocaml/apron/fppD.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/polkaRll.cma /usr/lib64/ocaml/apron/polkaRll.cmxs /usr/lib64/ocaml/apron/ppl.cma /usr/lib64/ocaml/apron/ppl.cmi /usr/lib64/ocaml/apron/ppl.cmxs /usr/lib64/ocaml/apron/pplite.cma /usr/lib64/ocaml/apron/pplite.cmi /usr/lib64/ocaml/apron/pplite.cmxs /usr/lib64/ocaml/apron/t1p.cmi /usr/lib64/ocaml/apron/t1pD.cma /usr/lib64/ocaml/apron/t1pD.cmxs /usr/lib64/ocaml/apron/t1pMPFR.cma /usr/lib64/ocaml/apron/t1pMPFR.cmxs /usr/lib64/ocaml/apron/t1pMPQ.cma /usr/lib64/ocaml/apron/t1pMPQ.cmxs /usr/lib64/ocaml/stublibs/dllap_ppl_caml.so /usr/lib64/ocaml/stublibs/dllap_ppl_caml.so.owner /usr/lib64/ocaml/stublibs/dllap_pplite_caml.so /usr/lib64/ocaml/stublibs/dllap_pplite_caml.so.owner /usr/lib64/ocaml/stublibs/dllapron_caml.so /usr/lib64/ocaml/stublibs/dllapron_caml.so.owner /usr/lib64/ocaml/stublibs/dllavoD_caml.so /usr/lib64/ocaml/stublibs/dllavoD_caml.so.owner /usr/lib64/ocaml/stublibs/dllavoMPQ_caml.so /usr/lib64/ocaml/stublibs/dllavoMPQ_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/dllfppD_caml.so /usr/lib64/ocaml/stublibs/dllfppD_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, Mon Jan 27 23:42:32 2025