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: 13.fc37 | Build date: Wed Jul 20 23:12:26 2022 |
Group: Unspecified | Build host: buildvm-x86-31.iad2.fedoraproject.org |
Size: 2820408 | Source RPM: apron-0.9.13-13.fc37.src.rpm |
Packager: Fedora Project | |
Url: https://antoinemine.github.io/Apron/doc/ | |
Summary: Ocaml interface to APRON |
Ocaml interface to the APRON library.
LGPLv2+ and GPLv2+
* 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 * Mon Mar 01 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-4 - OCaml 4.12.0 build * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Fri Nov 20 2020 Jerry James <loganjerry@gmail.com> - 0.9.13-2 - Fix install location of OCaml stublibs * Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 0.9.13-1 - Version 0.9.13 - Drop upstreamed -texinfo patch * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-10 - OCaml 4.11.1 rebuild * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-9 - OCaml 4.11.0 rebuild * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.12-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
/usr/lib/.build-id /usr/lib/.build-id/0b /usr/lib/.build-id/0b/03aa8683dfad12fa12e3e93e77b8c4301d3676 /usr/lib/.build-id/0c /usr/lib/.build-id/0c/5c181357f89bb700d8ee2c7cced29d3e235a73 /usr/lib/.build-id/0f/defa1a36dad62f9f2fa00e15e356cf71465434 /usr/lib/.build-id/11 /usr/lib/.build-id/11/0a99b5d1dc50c7c283e97416af4f81686ac53c /usr/lib/.build-id/36 /usr/lib/.build-id/36/124b8c6e2ba3e9f281900556316d20a6631866 /usr/lib/.build-id/3a /usr/lib/.build-id/3a/3a23c54aeaa4b47ccf91e0ab4374349bbb87e2 /usr/lib/.build-id/3a/8faa82bf14de68f81369924634158a6659de11 /usr/lib/.build-id/43 /usr/lib/.build-id/43/7175643ad1a47cb751142fc3388364013e3024 /usr/lib/.build-id/5c/d4f4d0d25d8ab2a0af0d187ecaa0de95c94cac /usr/lib/.build-id/61 /usr/lib/.build-id/61/d46bec4bd0a40e78328c3d167aa5a7251137fb /usr/lib/.build-id/6b /usr/lib/.build-id/6b/e98c9a81400d3ae10ba2a2bd93e83bc999c885 /usr/lib/.build-id/70 /usr/lib/.build-id/70/16155104d9852b2642b13bcf22335396322c0e /usr/lib/.build-id/71 /usr/lib/.build-id/71/935c86b8a72f31ff1f6451ac8f6ca56a706342 /usr/lib/.build-id/77 /usr/lib/.build-id/77/51c73b7f22f85c65578ab46a72298bb7e8d978 /usr/lib/.build-id/7c /usr/lib/.build-id/7c/64a61d29201aa72a47cb7e1e6b1d23238b116a /usr/lib/.build-id/8b/360e2d87f08d937385253918debbbf9ec1ede2 /usr/lib/.build-id/91 /usr/lib/.build-id/91/3dae48cd07a3bd8b3a1b67344b6e5e53a15af0 /usr/lib/.build-id/93 /usr/lib/.build-id/93/5dd16b90431cbe334d5866646e1f42ada1798d /usr/lib/.build-id/94 /usr/lib/.build-id/94/e63d63b7c1cc3e6770d2e6ee65232a60e23d83 /usr/lib/.build-id/98 /usr/lib/.build-id/98/6d351062209819c7ac892d761451b26ebdf252 /usr/lib/.build-id/9a/cde74d3c6565bf2efbbb0bcb562159ca19acc4 /usr/lib/.build-id/9f /usr/lib/.build-id/9f/4e7366ab5bb0b84e48738d91dd6553d19e8ccd /usr/lib/.build-id/a7 /usr/lib/.build-id/a7/70de55508afd654309e272c60bc9345c788928 /usr/lib/.build-id/a8 /usr/lib/.build-id/a8/4cf87dd08b3c8fdfaa7245d23eeb6aa93797ac /usr/lib/.build-id/b0 /usr/lib/.build-id/b0/af713b61833db152165e15a19ec4ba6dc63c0c /usr/lib/.build-id/bc /usr/lib/.build-id/bc/5f39b6eb56d63e0f2c49bda6495f9a96315cd2 /usr/lib/.build-id/c5 /usr/lib/.build-id/c5/cb69c71341f0db13b96dc9ad0eea98681d079f /usr/lib/.build-id/c7 /usr/lib/.build-id/c7/74afd0bf1e76d55c284e17214a5bdcd106a73d /usr/lib/.build-id/cc /usr/lib/.build-id/cc/a8558061eab1f7fb5745c86419951a2cd7c45d /usr/lib/.build-id/d9/325073d1d71504a3633f1d2a49d5fd037198bd /usr/lib/.build-id/e1 /usr/lib/.build-id/e1/91276d04457390d46bbf7399cc4a8732bca913 /usr/lib/.build-id/f5/3af70bfbf28ec787863e647a32767b27a13ede /usr/lib/ocaml/apron /usr/lib/ocaml/apron/META /usr/lib/ocaml/apron/apron.cma /usr/lib/ocaml/apron/apron.cmi /usr/lib/ocaml/apron/apron.cmxs /usr/lib/ocaml/apron/apron.d.cmxs /usr/lib/ocaml/apron/box.cmi /usr/lib/ocaml/apron/boxD.cma /usr/lib/ocaml/apron/boxD.cmxs /usr/lib/ocaml/apron/boxMPFR.cma /usr/lib/ocaml/apron/boxMPFR.cmxs /usr/lib/ocaml/apron/boxMPQ.cma /usr/lib/ocaml/apron/boxMPQ.cmxs /usr/lib/ocaml/apron/oct.cmi /usr/lib/ocaml/apron/octD.cma /usr/lib/ocaml/apron/octD.cmxs /usr/lib/ocaml/apron/octMPQ.cma /usr/lib/ocaml/apron/octMPQ.cmxs /usr/lib/ocaml/apron/polka.cmi /usr/lib/ocaml/apron/polkaGrid.cma /usr/lib/ocaml/apron/polkaGrid.cmi /usr/lib/ocaml/apron/polkaGrid.cmxs /usr/lib/ocaml/apron/polkaMPQ.cma /usr/lib/ocaml/apron/polkaMPQ.cmxs /usr/lib/ocaml/apron/polkaMPQ.d.cmxs /usr/lib/ocaml/apron/polkaRll.cma /usr/lib/ocaml/apron/polkaRll.cmxs /usr/lib/ocaml/apron/polkaRll.d.cmxs /usr/lib/ocaml/apron/ppl.cma /usr/lib/ocaml/apron/ppl.cmi /usr/lib/ocaml/apron/ppl.cmxs /usr/lib/ocaml/apron/t1p.cmi /usr/lib/ocaml/apron/t1pD.cma /usr/lib/ocaml/apron/t1pD.cmxs /usr/lib/ocaml/apron/t1pD.d.cmxs /usr/lib/ocaml/apron/t1pMPFR.cma /usr/lib/ocaml/apron/t1pMPFR.cmxs /usr/lib/ocaml/apron/t1pMPFR.d.cmxs /usr/lib/ocaml/apron/t1pMPQ.cma /usr/lib/ocaml/apron/t1pMPQ.cmxs /usr/lib/ocaml/apron/t1pMPQ.d.cmxs /usr/lib/ocaml/stublibs/dllap_ppl_caml.so /usr/lib/ocaml/stublibs/dllap_ppl_caml.so.owner /usr/lib/ocaml/stublibs/dllapron_caml.so /usr/lib/ocaml/stublibs/dllapron_caml.so.owner /usr/lib/ocaml/stublibs/dllboxD_caml.so /usr/lib/ocaml/stublibs/dllboxD_caml.so.owner /usr/lib/ocaml/stublibs/dllboxMPFR_caml.so /usr/lib/ocaml/stublibs/dllboxMPFR_caml.so.owner /usr/lib/ocaml/stublibs/dllboxMPQ_caml.so /usr/lib/ocaml/stublibs/dllboxMPQ_caml.so.owner /usr/lib/ocaml/stublibs/dlloctD_caml.so /usr/lib/ocaml/stublibs/dlloctD_caml.so.owner /usr/lib/ocaml/stublibs/dlloctMPQ_caml.so /usr/lib/ocaml/stublibs/dlloctMPQ_caml.so.owner /usr/lib/ocaml/stublibs/dllpolkaGrid_caml.so /usr/lib/ocaml/stublibs/dllpolkaGrid_caml.so.owner /usr/lib/ocaml/stublibs/dllpolkaMPQ_caml.so /usr/lib/ocaml/stublibs/dllpolkaMPQ_caml.so.owner /usr/lib/ocaml/stublibs/dllpolkaRll_caml.so /usr/lib/ocaml/stublibs/dllpolkaRll_caml.so.owner /usr/lib/ocaml/stublibs/dllt1pD_caml.so /usr/lib/ocaml/stublibs/dllt1pD_caml.so.owner /usr/lib/ocaml/stublibs/dllt1pMPFR_caml.so /usr/lib/ocaml/stublibs/dllt1pMPFR_caml.so.owner /usr/lib/ocaml/stublibs/dllt1pMPQ_caml.so /usr/lib/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 20:33:48 2024