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

ocaml-apron-0.9.15-17.fc45 RPM for aarch64

From Fedora Rawhide for aarch64 / o

Name: ocaml-apron Distribution: Fedora Project
Version: 0.9.15 Vendor: Fedora Project
Release: 17.fc45 Build date: Fri Feb 20 19:48:26 2026
Group: Unspecified Build host: buildvm-a64-42.rdu3.fedoraproject.org
Size: 3736996 Source RPM: apron-0.9.15-17.fc45.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

* Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 0.9.15-17
  - OCaml 5.4.1 rebuild
* Tue Jan 27 2026 Jerry James <loganjerry@gmail.com> - 0.9.15-16
  - Rebuild for pplite 0.13
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-14
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Thu Jan 15 2026 Jerry James <loganjerry@gmail.com> - 0.9.15-13
  - Add GPL-3.0-only to the License field
* Fri Jan 09 2026 Jerry James <loganjerry@gmail.com> - 0.9.15-12
  - Reflow the description text
  - More precise globbing in %files
* Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 0.9.15-11
  - OCaml 5.4.0 rebuild
* Tue Jul 29 2025 Jiri Vanek <jvanek@redhat.com> - 0.9.15-10
  - Rebuilt for java-25-openjdk as preffered jdk
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Fri Jul 11 2025 Jerry James <loganjerry@gmail.com> - 0.9.15-8
  - Rebuild to fix OCaml dependencies
* Sat Jun 07 2025 Jerry James <loganjerry@gmail.com> - 0.9.15-7
  - Rebuild for bumped ocaml-mlgmpidl
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/05
/usr/lib/.build-id/05/f22805d438a85b9facfa1fd4bd96e56438c1c5
/usr/lib/.build-id/12
/usr/lib/.build-id/12/6891f6bf3f234bb07696ce77b15debb83816d6
/usr/lib/.build-id/14
/usr/lib/.build-id/14/62e2af3c0f94019ca739d5e1aad5ef38a7083a
/usr/lib/.build-id/26
/usr/lib/.build-id/26/24034ddfb92079bd88e619961487bea8567407
/usr/lib/.build-id/39
/usr/lib/.build-id/39/f4e50563ae71969faf3462ede61d4402289d8b
/usr/lib/.build-id/47
/usr/lib/.build-id/47/3cf627d06f1c35ab60364e22154be19f87a65b
/usr/lib/.build-id/4e
/usr/lib/.build-id/4e/852e38f91598e5f738a8fecb7724feb577388b
/usr/lib/.build-id/53
/usr/lib/.build-id/53/c5d17c037d895c11427d2219c1a7c7fe9048b7
/usr/lib/.build-id/55
/usr/lib/.build-id/55/a9eda685b16cd02854189870eac8604aacee2f
/usr/lib/.build-id/60
/usr/lib/.build-id/60/f775ab8c1c4d6149d90eef9af64b9a7d99d23c
/usr/lib/.build-id/64
/usr/lib/.build-id/64/5677e4c13632029bd52e8b56edad7cae3bb007
/usr/lib/.build-id/64/a372013aa2db3ec9bd7d0c1bc821d54c5d3fa7
/usr/lib/.build-id/64/b4d0f9278fd55f4de7324c44c79f8faac98dae
/usr/lib/.build-id/69
/usr/lib/.build-id/69/c7a98c56e4efbbf9f45134877c90e508da4778
/usr/lib/.build-id/6b
/usr/lib/.build-id/6b/8ac6834074e6a6eb9b9d09c9120695e6904f98
/usr/lib/.build-id/6d
/usr/lib/.build-id/6d/67f1f6d49ad4811cc559f9cf94824731c53e7e
/usr/lib/.build-id/72
/usr/lib/.build-id/72/3d5103ede2f3b62ab893ed1527ad9888112095
/usr/lib/.build-id/72/8c9d2178355950f49c5ebb7cd12bcc7baf52b2
/usr/lib/.build-id/82
/usr/lib/.build-id/82/32d3a85dca51d1b8908999d4fe620184234185
/usr/lib/.build-id/82/5e868a6767f0cb7f9596e715c204920a8a8ee1
/usr/lib/.build-id/85
/usr/lib/.build-id/85/2234585abc40268567dfac81e27e7492f9dcde
/usr/lib/.build-id/86
/usr/lib/.build-id/86/0b946dcb7ef994fd35b0c234a356ec9289ad7c
/usr/lib/.build-id/86/34bef95d1135edbc8d96ab00869c2efc8c5747
/usr/lib/.build-id/89
/usr/lib/.build-id/89/42c8f722f98d1d3ebc459dc6ccfe4745628b54
/usr/lib/.build-id/90
/usr/lib/.build-id/90/56406cbe531a5a4feb70164114a276ebb2900c
/usr/lib/.build-id/93
/usr/lib/.build-id/93/01691ac78052edecd663b04b261cf5391cf991
/usr/lib/.build-id/98
/usr/lib/.build-id/98/e627dd82b68a845539c03ffdfca0ecd829a923
/usr/lib/.build-id/9c
/usr/lib/.build-id/9c/684922be2cadcd490702a5b7f5315121c79c89
/usr/lib/.build-id/d9
/usr/lib/.build-id/d9/948e4b1413f33ec4fb6e98cd6f5bdf883dc9f5
/usr/lib/.build-id/db
/usr/lib/.build-id/db/abd8f7fe21ed4e76821caea8324742eeb98ed6
/usr/lib/.build-id/dc
/usr/lib/.build-id/dc/8abf3589dd18404de2c881089b24f9927b92fb
/usr/lib/.build-id/de
/usr/lib/.build-id/de/659a40bea4cc7466153801a3c9bcacb9179681
/usr/lib/.build-id/eb
/usr/lib/.build-id/eb/261c3d8c278582a033b9354ef8bfc386742daf
/usr/lib/.build-id/fb/59cacbe4288ad9f6295054ead8cb38f9ae15b9
/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, Fri Jul 10 22:49:04 2026