ocaml-apron-devel-0.9.13-17.fc38 RPM for x86_64

From Fedora 38 for x86_64 / o

Development files for the Ocaml interface to the APRON library.

Provides

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

Requires

• apron-devel(x86-64) = 0.9.13-17.fc38
• 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) = 79b0e9d3b6f7fed07eb3cc2abb961b91
• 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
• ocaml-apron(x86-64) = 0.9.13-17.fc38
• ocamlx(Apron) = 63ee8e7012f262c4faa9751d45c7efb0
• ocamlx(Mpfr) = 2f1b4646b3d0ba862d7b89d95ce80079
• ocamlx(Mpfrf) = 9c436fb8fcdfee8a78cba8865633e6da
• ocamlx(Mpqf) = bcdd030c511cc2ca96fec8e6af74f195
• ocamlx(Mpzf) = 57af08eeb38e6607d8e8303b029668f3
• ocamlx(Stdlib) = 29fc6b4fd90dc91235156e20d0575996
• ocamlx(Stdlib__Array) = bb1212fc50265efb994301edbd2f0ecc
• ocamlx(Stdlib__Callback) = 7dbefe6db53efcdc61a432ffbc04583d
• ocamlx(Stdlib__Format) = 983da56657d4a84e1921601ebd2ba5fd
• ocamlx(Stdlib__Lexing) = 4ba20253768aee73219c565dee7243bd
• ocamlx(Stdlib__List) = 75bce4c751643e407b6e75caf60b9db7
• ocamlx(Stdlib__Parsing) = a4138a3a0c08cdb070011623c83ca032
• ocamlx(Stdlib__String) = 16f00be18fe41d5b5f3bc6b9bf6629df
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception

Changelog

* 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

Files

/usr/lib64/ocaml/apron/abstract0.idl
/usr/lib64/ocaml/apron/abstract1.idl
/usr/lib64/ocaml/apron/apron.a
/usr/lib64/ocaml/apron/apron.cmx
/usr/lib64/ocaml/apron/apron.cmxa
/usr/lib64/ocaml/apron/apron.d.a
/usr/lib64/ocaml/apron/apron.d.cmxa
/usr/lib64/ocaml/apron/apron_caml.h
/usr/lib64/ocaml/apron/apron_ocamldoc.mli
/usr/lib64/ocaml/apron/box.cmx
/usr/lib64/ocaml/apron/box.mli
/usr/lib64/ocaml/apron/boxD.a
/usr/lib64/ocaml/apron/boxD.cmxa
/usr/lib64/ocaml/apron/boxMPFR.a
/usr/lib64/ocaml/apron/boxMPFR.cmxa
/usr/lib64/ocaml/apron/boxMPQ.a
/usr/lib64/ocaml/apron/boxMPQ.cmxa
/usr/lib64/ocaml/apron/coeff.idl
/usr/lib64/ocaml/apron/dim.idl
/usr/lib64/ocaml/apron/disjunction.idl
/usr/lib64/ocaml/apron/environment.idl
/usr/lib64/ocaml/apron/generator0.idl
/usr/lib64/ocaml/apron/generator1.idl
/usr/lib64/ocaml/apron/interval.idl
/usr/lib64/ocaml/apron/libap_ppl_caml.a
/usr/lib64/ocaml/apron/libap_ppl_caml_debug.a
/usr/lib64/ocaml/apron/libapron_caml.a
/usr/lib64/ocaml/apron/libapron_caml_debug.a
/usr/lib64/ocaml/apron/libboxD_caml.a
/usr/lib64/ocaml/apron/libboxD_caml_debug.a
/usr/lib64/ocaml/apron/libboxMPFR_caml.a
/usr/lib64/ocaml/apron/libboxMPFR_caml_debug.a
/usr/lib64/ocaml/apron/libboxMPQ_caml.a
/usr/lib64/ocaml/apron/libboxMPQ_caml_debug.a
/usr/lib64/ocaml/apron/liboctD_caml.a
/usr/lib64/ocaml/apron/liboctD_caml_debug.a
/usr/lib64/ocaml/apron/liboctMPQ_caml.a
/usr/lib64/ocaml/apron/liboctMPQ_caml_debug.a
/usr/lib64/ocaml/apron/libpolkaGrid_caml.a
/usr/lib64/ocaml/apron/libpolkaGrid_caml_debug.a
/usr/lib64/ocaml/apron/libpolkaMPQ_caml.a
/usr/lib64/ocaml/apron/libpolkaMPQ_caml_debug.a
/usr/lib64/ocaml/apron/libpolkaRll_caml.a
/usr/lib64/ocaml/apron/libpolkaRll_caml_debug.a
/usr/lib64/ocaml/apron/libt1pD_caml.a
/usr/lib64/ocaml/apron/libt1pD_caml_debug.a
/usr/lib64/ocaml/apron/libt1pMPFR_caml.a
/usr/lib64/ocaml/apron/libt1pMPFR_caml_debug.a
/usr/lib64/ocaml/apron/libt1pMPQ_caml.a
/usr/lib64/ocaml/apron/libt1pMPQ_caml_debug.a
/usr/lib64/ocaml/apron/lincons0.idl
/usr/lib64/ocaml/apron/lincons1.idl
/usr/lib64/ocaml/apron/linexpr0.idl
/usr/lib64/ocaml/apron/linexpr1.idl
/usr/lib64/ocaml/apron/manager.idl
/usr/lib64/ocaml/apron/oct.cmx
/usr/lib64/ocaml/apron/oct.mli
/usr/lib64/ocaml/apron/octD.a
/usr/lib64/ocaml/apron/octD.cmxa
/usr/lib64/ocaml/apron/octMPQ.a
/usr/lib64/ocaml/apron/octMPQ.cmxa
/usr/lib64/ocaml/apron/policy.idl
/usr/lib64/ocaml/apron/polka.cmx
/usr/lib64/ocaml/apron/polka.mli
/usr/lib64/ocaml/apron/polkaGrid.a
/usr/lib64/ocaml/apron/polkaGrid.cmx
/usr/lib64/ocaml/apron/polkaGrid.cmxa
/usr/lib64/ocaml/apron/polkaGrid.idl
/usr/lib64/ocaml/apron/polkaGrid.mli
/usr/lib64/ocaml/apron/polkaMPQ.a
/usr/lib64/ocaml/apron/polkaMPQ.cmxa
/usr/lib64/ocaml/apron/polkaMPQ.d.a
/usr/lib64/ocaml/apron/polkaMPQ.d.cmxa
/usr/lib64/ocaml/apron/polkaRll.a
/usr/lib64/ocaml/apron/polkaRll.cmxa
/usr/lib64/ocaml/apron/polkaRll.d.a
/usr/lib64/ocaml/apron/polkaRll.d.cmxa
/usr/lib64/ocaml/apron/ppl.a
/usr/lib64/ocaml/apron/ppl.cmx
/usr/lib64/ocaml/apron/ppl.cmxa
/usr/lib64/ocaml/apron/ppl.idl
/usr/lib64/ocaml/apron/ppl.mli
/usr/lib64/ocaml/apron/scalar.idl
/usr/lib64/ocaml/apron/t1p.cmx
/usr/lib64/ocaml/apron/t1p.mli
/usr/lib64/ocaml/apron/t1pD.a
/usr/lib64/ocaml/apron/t1pD.cmxa
/usr/lib64/ocaml/apron/t1pD.d.a
/usr/lib64/ocaml/apron/t1pD.d.cmxa
/usr/lib64/ocaml/apron/t1pMPFR.a
/usr/lib64/ocaml/apron/t1pMPFR.cmxa
/usr/lib64/ocaml/apron/t1pMPFR.d.a
/usr/lib64/ocaml/apron/t1pMPFR.d.cmxa
/usr/lib64/ocaml/apron/t1pMPQ.a
/usr/lib64/ocaml/apron/t1pMPQ.cmxa
/usr/lib64/ocaml/apron/t1pMPQ.d.a
/usr/lib64/ocaml/apron/t1pMPQ.d.cmxa
/usr/lib64/ocaml/apron/tcons0.idl
/usr/lib64/ocaml/apron/tcons1.idl
/usr/lib64/ocaml/apron/texpr0.idl
/usr/lib64/ocaml/apron/texpr1.idl
/usr/lib64/ocaml/apron/var.idl
/usr/share/doc/ocaml-apron-devel
/usr/share/doc/ocaml-apron-devel/Abstract0.html
/usr/share/doc/ocaml-apron-devel/Abstract1.html
/usr/share/doc/ocaml-apron-devel/Box.Abstract0.html
/usr/share/doc/ocaml-apron-devel/Box.Abstract1.html
/usr/share/doc/ocaml-apron-devel/Box.Policy.html
/usr/share/doc/ocaml-apron-devel/Box.html
/usr/share/doc/ocaml-apron-devel/Coeff.html
/usr/share/doc/ocaml-apron-devel/Dim.html
/usr/share/doc/ocaml-apron-devel/Disjunction.Abstract0.html
/usr/share/doc/ocaml-apron-devel/Disjunction.Abstract1.html
/usr/share/doc/ocaml-apron-devel/Disjunction.html
/usr/share/doc/ocaml-apron-devel/Environment.html
/usr/share/doc/ocaml-apron-devel/Generator0.html
/usr/share/doc/ocaml-apron-devel/Generator1.html
/usr/share/doc/ocaml-apron-devel/Gmp_random.Mpf.html
/usr/share/doc/ocaml-apron-devel/Gmp_random.Mpfr.html
/usr/share/doc/ocaml-apron-devel/Gmp_random.Mpz.html
/usr/share/doc/ocaml-apron-devel/Gmp_random.html
/usr/share/doc/ocaml-apron-devel/Interval.html
/usr/share/doc/ocaml-apron-devel/Introduction.html
/usr/share/doc/ocaml-apron-devel/Lincons0.html
/usr/share/doc/ocaml-apron-devel/Lincons1.html
/usr/share/doc/ocaml-apron-devel/Linexpr0.html
/usr/share/doc/ocaml-apron-devel/Linexpr1.html
/usr/share/doc/ocaml-apron-devel/Manager.html
/usr/share/doc/ocaml-apron-devel/Mpf.html
/usr/share/doc/ocaml-apron-devel/Mpfr.html
/usr/share/doc/ocaml-apron-devel/Mpfrf.html
/usr/share/doc/ocaml-apron-devel/Mpq.html
/usr/share/doc/ocaml-apron-devel/Mpqf.html
/usr/share/doc/ocaml-apron-devel/Mpz.html
/usr/share/doc/ocaml-apron-devel/Mpzf.html
/usr/share/doc/ocaml-apron-devel/Oct.Abstract0.html
/usr/share/doc/ocaml-apron-devel/Oct.Abstract1.html
/usr/share/doc/ocaml-apron-devel/Oct.html
/usr/share/doc/ocaml-apron-devel/Parser.html
/usr/share/doc/ocaml-apron-devel/Policy.Abstract0.html
/usr/share/doc/ocaml-apron-devel/Policy.Abstract1.html
/usr/share/doc/ocaml-apron-devel/Policy.html
/usr/share/doc/ocaml-apron-devel/Polka.Abstract0.html
/usr/share/doc/ocaml-apron-devel/Polka.Abstract1.html
/usr/share/doc/ocaml-apron-devel/Polka.html
/usr/share/doc/ocaml-apron-devel/PolkaGrid.Abstract0.html
/usr/share/doc/ocaml-apron-devel/PolkaGrid.Abstract1.html
/usr/share/doc/ocaml-apron-devel/PolkaGrid.html
/usr/share/doc/ocaml-apron-devel/Ppl.Abstract0.html
/usr/share/doc/ocaml-apron-devel/Ppl.Abstract1.html
/usr/share/doc/ocaml-apron-devel/Ppl.html
/usr/share/doc/ocaml-apron-devel/Scalar.html
/usr/share/doc/ocaml-apron-devel/T1p.html
/usr/share/doc/ocaml-apron-devel/Tcons0.html
/usr/share/doc/ocaml-apron-devel/Tcons1.html
/usr/share/doc/ocaml-apron-devel/Texpr0.html
/usr/share/doc/ocaml-apron-devel/Texpr1.html
/usr/share/doc/ocaml-apron-devel/Var.html
/usr/share/doc/ocaml-apron-devel/Version.html
/usr/share/doc/ocaml-apron-devel/index.html
/usr/share/doc/ocaml-apron-devel/index_attributes.html
/usr/share/doc/ocaml-apron-devel/index_class_types.html
/usr/share/doc/ocaml-apron-devel/index_classes.html
/usr/share/doc/ocaml-apron-devel/index_exceptions.html
/usr/share/doc/ocaml-apron-devel/index_extensions.html
/usr/share/doc/ocaml-apron-devel/index_methods.html
/usr/share/doc/ocaml-apron-devel/index_module_types.html
/usr/share/doc/ocaml-apron-devel/index_modules.html
/usr/share/doc/ocaml-apron-devel/index_types.html
/usr/share/doc/ocaml-apron-devel/index_values.html
/usr/share/doc/ocaml-apron-devel/style.css
/usr/share/doc/ocaml-apron-devel/type_Abstract0.html
/usr/share/doc/ocaml-apron-devel/type_Abstract1.html
/usr/share/doc/ocaml-apron-devel/type_Box.Abstract0.html
/usr/share/doc/ocaml-apron-devel/type_Box.Abstract1.html
/usr/share/doc/ocaml-apron-devel/type_Box.Policy.html
/usr/share/doc/ocaml-apron-devel/type_Box.html
/usr/share/doc/ocaml-apron-devel/type_Coeff.html
/usr/share/doc/ocaml-apron-devel/type_Dim.html
/usr/share/doc/ocaml-apron-devel/type_Disjunction.Abstract0.html
/usr/share/doc/ocaml-apron-devel/type_Disjunction.Abstract1.html
/usr/share/doc/ocaml-apron-devel/type_Disjunction.html
/usr/share/doc/ocaml-apron-devel/type_Environment.html
/usr/share/doc/ocaml-apron-devel/type_Generator0.html
/usr/share/doc/ocaml-apron-devel/type_Generator1.html
/usr/share/doc/ocaml-apron-devel/type_Gmp_random.Mpf.html
/usr/share/doc/ocaml-apron-devel/type_Gmp_random.Mpfr.html
/usr/share/doc/ocaml-apron-devel/type_Gmp_random.Mpz.html
/usr/share/doc/ocaml-apron-devel/type_Gmp_random.html
/usr/share/doc/ocaml-apron-devel/type_Interval.html
/usr/share/doc/ocaml-apron-devel/type_Introduction.html
/usr/share/doc/ocaml-apron-devel/type_Lincons0.html
/usr/share/doc/ocaml-apron-devel/type_Lincons1.html
/usr/share/doc/ocaml-apron-devel/type_Linexpr0.html
/usr/share/doc/ocaml-apron-devel/type_Linexpr1.html
/usr/share/doc/ocaml-apron-devel/type_Manager.html
/usr/share/doc/ocaml-apron-devel/type_Mpf.html
/usr/share/doc/ocaml-apron-devel/type_Mpfr.html
/usr/share/doc/ocaml-apron-devel/type_Mpfrf.html
/usr/share/doc/ocaml-apron-devel/type_Mpq.html
/usr/share/doc/ocaml-apron-devel/type_Mpqf.html
/usr/share/doc/ocaml-apron-devel/type_Mpz.html
/usr/share/doc/ocaml-apron-devel/type_Mpzf.html
/usr/share/doc/ocaml-apron-devel/type_Oct.Abstract0.html
/usr/share/doc/ocaml-apron-devel/type_Oct.Abstract1.html
/usr/share/doc/ocaml-apron-devel/type_Oct.html
/usr/share/doc/ocaml-apron-devel/type_Parser.html
/usr/share/doc/ocaml-apron-devel/type_Policy.Abstract0.html
/usr/share/doc/ocaml-apron-devel/type_Policy.Abstract1.html
/usr/share/doc/ocaml-apron-devel/type_Policy.html
/usr/share/doc/ocaml-apron-devel/type_Polka.Abstract0.html
/usr/share/doc/ocaml-apron-devel/type_Polka.Abstract1.html
/usr/share/doc/ocaml-apron-devel/type_Polka.html
/usr/share/doc/ocaml-apron-devel/type_PolkaGrid.Abstract0.html
/usr/share/doc/ocaml-apron-devel/type_PolkaGrid.Abstract1.html
/usr/share/doc/ocaml-apron-devel/type_PolkaGrid.html
/usr/share/doc/ocaml-apron-devel/type_Ppl.Abstract0.html
/usr/share/doc/ocaml-apron-devel/type_Ppl.Abstract1.html
/usr/share/doc/ocaml-apron-devel/type_Ppl.html
/usr/share/doc/ocaml-apron-devel/type_Scalar.html
/usr/share/doc/ocaml-apron-devel/type_T1p.html
/usr/share/doc/ocaml-apron-devel/type_Tcons0.html
/usr/share/doc/ocaml-apron-devel/type_Tcons1.html
/usr/share/doc/ocaml-apron-devel/type_Texpr0.html
/usr/share/doc/ocaml-apron-devel/type_Texpr1.html
/usr/share/doc/ocaml-apron-devel/type_Var.html
/usr/share/doc/ocaml-apron-devel/type_Version.html

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 22:26:30 2024