ocaml-apron-0.9.13-13.fc37 RPM for x86_64

From Fedora 37 for x86_64 / o

Ocaml interface to the APRON library.

Provides

• ocaml-apron
• ocaml(Apron)
• ocaml(Box)
• ocaml(Oct)
• ocaml(Polka)
• ocaml(PolkaGrid)
• ocaml(Ppl)
• ocaml(T1p)
• ocaml-apron(x86-64)

Requires

• apron(x86-64) = 0.9.13-13.fc37
• libap_pkgrid.so.0()(64bit)
• libap_ppl.so.0()(64bit)
• libapron.so.0()(64bit)
• libapron_debug.so.0()(64bit)
• libboxD.so.0()(64bit)
• libboxMPFR.so.0()(64bit)
• libboxMPQ.so.0()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libgmp.so.10()(64bit)
• libmpfr.so.6()(64bit)
• liboctD.so.0()(64bit)
• liboctMPQ.so.0()(64bit)
• libpolkaMPQ.so.0()(64bit)
• libpolkaMPQ_debug.so.0()(64bit)
• libpolkaRll.so.0()(64bit)
• libpolkaRll_debug.so.0()(64bit)
• libt1pD.so.0()(64bit)
• libt1pD_debug.so.0()(64bit)
• libt1pMPFR.so.0()(64bit)
• libt1pMPFR_debug.so.0()(64bit)
• libt1pMPQ.so.0()(64bit)
• libt1pMPQ_debug.so.0()(64bit)
• ocaml(Apron) = 71ec6d8d7ab2c25b5737e41bcdc3159b
• ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
• ocaml(Mpf) = 1c9a9ae6d75b13ab5d69088fa1adfea6
• ocaml(Mpfr) = 31f7eeacb3c60ccfeab68551563f74c1
• ocaml(Mpfrf) = 8cffd66b9ff878cef58ff5e5c7592c76
• ocaml(Mpq) = b01a9befe3a5a9a8b9c0e7a0ae1d0d14
• ocaml(Mpqf) = 3b98102539ca73849fa9439187ab6df6
• ocaml(Mpz) = 9122b8145454ec4fba6e852bc127a621
• ocaml(Mpzf) = 2f6b6e42a172414280af2937a856e499
• ocaml(Polka) = 91e7e184f35733b6a9a70be6a44fe6f5
• ocaml(Ppl) = 1ba41f2e8f88fc0837f4255838c5dee8
• ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930
• ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865
• ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3
• ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
• ocaml(Stdlib__Callback) = fe29a598e1902f0b901e88a9865c26ef
• ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35
• ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
• ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
• ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
• ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434
• ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
• ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3
• ocaml(Stdlib__Parsing) = bb5f62fa906224c917383a27d025e251
• ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
• ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
• ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

LGPLv2+ and GPLv2+

Changelog

* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/06
/usr/lib/.build-id/06/f9e896a3358e6cbe0f0bc99ee0a34596888c00
/usr/lib/.build-id/0a
/usr/lib/.build-id/0a/9f92eeef0975b6a8a8c5afa9c925438d45ee4a
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/ca9c6ad7586b76228cda3d915bc1ff30b64ec7
/usr/lib/.build-id/0c/9082e7d7f15d4a5f03c5932bf8f95c180fe46b
/usr/lib/.build-id/11
/usr/lib/.build-id/11/eb8c50b0af9bb3a53525825dd31eb6e4b5c9cc
/usr/lib/.build-id/18
/usr/lib/.build-id/18/58e4b48600a9b7be0ed57623c1d39444fe4340
/usr/lib/.build-id/18/84f31d90ae4e8b43199580562f57158112c63b
/usr/lib/.build-id/19
/usr/lib/.build-id/19/b9187ee6b25453a1713d623e27a1fbe83c00d2
/usr/lib/.build-id/4b
/usr/lib/.build-id/4b/4015452eedddbf9d8a46a43a0ffefa9977a518
/usr/lib/.build-id/4b/781f3cb2d2b67c6a282c078880f2887211ee7a
/usr/lib/.build-id/4b/e2470949602a92e80a2d381d63ca6a370b14c3
/usr/lib/.build-id/50
/usr/lib/.build-id/50/9be938586d4ed1c6dcea248ce037fab73c26a5
/usr/lib/.build-id/53
/usr/lib/.build-id/53/2b8633635ae23f82a36920f0425bb43eed7694
/usr/lib/.build-id/57
/usr/lib/.build-id/57/f498aba448205467bc00bf71d17219a6fa8db1
/usr/lib/.build-id/5b/05f52955761360cc331939845fa79f903e92fb
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/67a75d6b6d6557065e07a9257475b786b3b945
/usr/lib/.build-id/73
/usr/lib/.build-id/73/ce7bff9df083178494fdec3f6fc754bd8b8b65
/usr/lib/.build-id/8a/88054cee08ea305fc388c572fddde1de73700a
/usr/lib/.build-id/a3
/usr/lib/.build-id/a3/44bb511bd420a1c8d3ac024dbc4a83b8f8b6e4
/usr/lib/.build-id/a4
/usr/lib/.build-id/a4/6b265eaf75119e5c4fb137fb97b09a50f53434
/usr/lib/.build-id/ab/0a8cf4a0efbfe6af6c68725e6667546fdacc45
/usr/lib/.build-id/b7
/usr/lib/.build-id/b7/029838e38283ba9bcd30207a2420b6fc67e352
/usr/lib/.build-id/b9/3b02ac0cdf7c0de5affe27b4a2d2faf3f92198
/usr/lib/.build-id/bc
/usr/lib/.build-id/bc/681844d61dbefa339363fa38ed267f06ed1705
/usr/lib/.build-id/bd
/usr/lib/.build-id/bd/a2455aa6724b35142642a5f930b357bf5d0b8a
/usr/lib/.build-id/c0
/usr/lib/.build-id/c0/2a84142e7837c91163daad3a227234d706d89a
/usr/lib/.build-id/c6
/usr/lib/.build-id/c6/e880ec45ad7af619e689cdf27f6ef63600d3af
/usr/lib/.build-id/d0
/usr/lib/.build-id/d0/2fb3e3c926a955fd15da5d1a738a1bf8d93def
/usr/lib/.build-id/d8
/usr/lib/.build-id/d8/08299683938ce58ae341efc815a52cf8d2c42c
/usr/lib/.build-id/eb
/usr/lib/.build-id/eb/7d60c44b4cb4a0de74ea96ac4f68d63bb22d86
/usr/lib/.build-id/f9
/usr/lib/.build-id/f9/c5bda802ec304afe462778848cc936895a65b2
/usr/lib/.build-id/fd
/usr/lib/.build-id/fd/5d6b10181d5397185bfbe0c63d5f7c9c3caf05
/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 20:33:48 2024