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

ocaml-apron-devel-0.9.13-3.fc34 RPM for aarch64

From Fedora 34 for aarch64 / o

Name: ocaml-apron-devel Distribution: Fedora Project
Version: 0.9.13 Vendor: Fedora Project
Release: 3.fc34 Build date: Tue Jan 26 02:13:16 2021
Group: Unspecified Build host: buildvm-a64-19.iad2.fedoraproject.org
Size: 4781973 Source RPM: apron-0.9.13-3.fc34.src.rpm
Packager: Fedora Project
Url: https://antoinemine.github.io/Apron/doc/
Summary: Development files for the Ocaml interface to APRON
Development files for the Ocaml interface to the APRON library.

Provides

Requires

License

LGPLv2+ and GPLv2+

Changelog

* 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
* Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-7
  - OCaml 4.11.0+dev2-2020-04-22 rebuild
* Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-6
  - OCaml 4.11.0 pre-release attempt 2
* Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-5
  - OCaml 4.11.0 pre-release
* Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-4
  - Update all OCaml dependencies for RPM 4.16.
* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-3
  - OCaml 4.10.0 final.
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.12-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Wed Jan 22 2020 Dan Čermák <dan.cermak@cgc-instruments.com> - 0.9.12-1
  - New upstream release 0.9.12
* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-33.1104.svn20180624
  - OCaml 4.10.0+beta1 rebuild.
* Thu Jan 09 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-32.1104.svn20180624
  - OCaml 4.09.0 for riscv64
* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-31.1104.svn20180624
  - Bump release and rebuild.
* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-30.1104.svn20180624
  - OCaml 4.09.0 (final) rebuild.
* Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 0.9.11-29.1104.svn20180624
  - Add -mpfr4 patch and rebuild for mpfr 4
* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-28.1104.svn20180624
  - OCaml 4.08.1 (final) rebuild.
* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-27.1104.svn20180624
  - OCaml 4.08.1 (rc2) rebuild.
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-26.1104.svn20180624
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-25.1104.svn20180624
  - OCaml 4.08.0 (final) rebuild.
* Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-24.1104.svn20180624
  - OCaml 4.08.0 (beta 3) rebuild.
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-23.1104.svn20180624
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_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, Sat Oct 9 20:48:25 2021