ocaml-apron-devel-0.9.14-7.fc40 in Fedora 40
↵ Return to the main page of ocaml-apron-devel
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2024-03-13 | Jerry James <loganjerry at gmail dot com> - 0.9.14-7 | - Rebuild for flint 3.1.0 |
| 2024-01-22 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.9.14-6 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2024-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 0.9.14-5 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2023-12-18 | Richard W.M. Jones <rjones at redhat dot com> - 0.9.14-4 | - OCaml 5.1.1 + s390x code gen fix for Fedora 40 |
| 2023-12-12 | Richard W.M. Jones <rjones at redhat dot com> - 0.9.14-3 | - OCaml 5.1.1 rebuild for Fedora 40 |
| 2023-10-05 | Richard W.M. Jones <rjones at redhat dot com> - 0.9.14-2 | - OCaml 5.1 rebuild for Fedora 40 |
| 2023-10-04 | Jerry James <loganjerry at gmail dot com> - 0.9.14-1 | - Add upstream patch for a japron hasVar bug |
| 2023-09-22 | Jerry James <loganjerry at gmail dot com> - 0.9.14-1 | - Version 0.9.14 - Add patch to fix japron linkage - Omit timestamps from generated documentation |
| 2023-08-05 | Jerry James <loganjerry at gmail dot com> - 0.9.14-0.6.beta.2 | - Fix failure to install (rhbz#2229356) |
| 2023-08-03 | Jerry James <loganjerry at gmail dot com> - 0.9.14-0.5.beta.2 | - Enable pplite support |
Dependencies
- apron-devel = 0.9.14-7.fc40
- ocaml = 2125f26b831153c92a44f06bfde570ae
- ocaml-apron = 0.9.14-7.fc40
- ocaml-mlgmpidl = 3686bc50c14862b5c9d7063ecf40b390
- ocaml-mlgmpidl-devel = 3686bc50c14862b5c9d7063ecf40b390
- ocaml-runtime = 2125f26b831153c92a44f06bfde570ae
Provides
- ocaml(Apron)
- ocaml(Avo)
- ocaml(Box)
- ocaml(Fpp)
- ocaml(Oct)
- ocaml(Polka)
- ocaml(PolkaGrid)
- ocaml(Ppl)
- ocaml(Pplite)
- ocaml(T1p)
- ocaml-apron-devel
- ocaml-apron-devel(x86-64)
- ocamlx(Apron)
- ocamlx(Avo)
- ocamlx(Box)
- ocamlx(Fpp)
- ocamlx(Oct)
- ocamlx(Polka)
- ocamlx(PolkaGrid)
- ocamlx(Ppl)
- ocamlx(Pplite)
- ocamlx(T1p)
Files
- usr/
- lib64/
- ocaml/
- apron/
- abstract0.idl
- abstract1.idl
- apron.a
- apron.cmx
- apron.cmxa
- apron_caml.h
- apron_ocamldoc.mli
- avo.cmx
- avo.mli
- avoD.a
- avoD.cmxa
- avoMPQ.a
- avoMPQ.cmxa
- box.cmx
- box.mli
- boxD.a
- boxD.cmxa
- boxMPFR.a
- boxMPFR.cmxa
- boxMPQ.a
- boxMPQ.cmxa
- coeff.idl
- dim.idl
- disjunction.idl
- environment.idl
- fpp.cmx
- fpp.mli
- fppD.a
- fppD.cmxa
- generator0.idl
- generator1.idl
- interval.idl
- libap_ppl_caml.a
- libap_pplite_caml.a
- libapron_caml.a
- libavoD_caml.a
- libavoMPQ_caml.a
- libboxD_caml.a
- libboxMPFR_caml.a
- libboxMPQ_caml.a
- libfppD_caml.a
- liboctD_caml.a
- liboctMPQ_caml.a
- libpolkaGrid_caml.a
- libpolkaMPQ_caml.a
- libpolkaRll_caml.a
- libt1pD_caml.a
- libt1pMPFR_caml.a
- libt1pMPQ_caml.a
- lincons0.idl
- lincons1.idl
- linexpr0.idl
- linexpr1.idl
- manager.idl
- oct.cmx
- oct.mli
- octD.a
- octD.cmxa
- octMPQ.a
- octMPQ.cmxa
- policy.idl
- polka.cmx
- polka.mli
- polkaGrid.a
- polkaGrid.cmx
- polkaGrid.cmxa
- polkaGrid.idl
- polkaGrid.mli
- polkaMPQ.a
- polkaMPQ.cmxa
- polkaRll.a
- polkaRll.cmxa
- ppl.a
- ppl.cmx
- ppl.cmxa
- ppl.idl
- ppl.mli
- pplite.a
- pplite.cmx
- pplite.cmxa
- pplite.idl
- pplite.mli
- scalar.idl
- t1p.cmx
- t1p.mli
- t1pD.a
- t1pD.cmxa
- t1pMPFR.a
- t1pMPFR.cmxa
- t1pMPQ.a
- t1pMPQ.cmxa
- tcons0.idl
- tcons1.idl
- texpr0.idl
- texpr1.idl
- var.idl
- apron/
- ocaml/
- share/
- doc/
- ocaml-apron-devel/
- Abstract0.html
- Abstract1.html
- Box.Abstract0.html
- Box.Abstract1.html
- Box.Policy.html
- Box.html
- Coeff.html
- Dim.html
- Disjunction.Abstract0.html
- Disjunction.Abstract1.html
- Disjunction.html
- Environment.html
- Generator0.html
- Generator1.html
- Gmp_random.Mpf.html
- Gmp_random.Mpfr.html
- Gmp_random.Mpz.html
- Gmp_random.html
- Interval.html
- Introduction.html
- Lincons0.html
- Lincons1.html
- Linexpr0.html
- Linexpr1.html
- Manager.html
- Mpf.html
- Mpfr.html
- Mpfrf.html
- Mpq.html
- Mpqf.html
- Mpz.html
- Mpzf.html
- Oct.Abstract0.html
- Oct.Abstract1.html
- Oct.html
- Parser.html
- Policy.Abstract0.html
- Policy.Abstract1.html
- Policy.html
- Polka.Abstract0.html
- Polka.Abstract1.html
- Polka.html
- PolkaGrid.Abstract0.html
- PolkaGrid.Abstract1.html
- PolkaGrid.html
- Ppl.Abstract0.html
- Ppl.Abstract1.html
- Ppl.html
- Pplite.Abstract0.html
- Pplite.Abstract1.html
- Pplite.html
- Scalar.html
- T1p.html
- Tcons0.html
- Tcons1.html
- Texpr0.html
- Texpr1.html
- Var.html
- Version.html
- index.html
- index_attributes.html
- index_class_types.html
- index_classes.html
- index_exceptions.html
- index_extensions.html
- index_methods.html
- index_module_types.html
- index_modules.html
- index_types.html
- index_values.html
- style.css
- type_Abstract0.html
- type_Abstract1.html
- type_Box.Abstract0.html
- type_Box.Abstract1.html
- type_Box.Policy.html
- type_Box.html
- type_Coeff.html
- type_Dim.html
- type_Disjunction.Abstract0.html
- type_Disjunction.Abstract1.html
- type_Disjunction.html
- type_Environment.html
- type_Generator0.html
- type_Generator1.html
- type_Gmp_random.Mpf.html
- type_Gmp_random.Mpfr.html
- type_Gmp_random.Mpz.html
- type_Gmp_random.html
- type_Interval.html
- type_Introduction.html
- type_Lincons0.html
- type_Lincons1.html
- type_Linexpr0.html
- type_Linexpr1.html
- type_Manager.html
- type_Mpf.html
- type_Mpfr.html
- type_Mpfrf.html
- type_Mpq.html
- type_Mpqf.html
- type_Mpz.html
- type_Mpzf.html
- type_Oct.Abstract0.html
- type_Oct.Abstract1.html
- type_Oct.html
- type_Parser.html
- type_Policy.Abstract0.html
- type_Policy.Abstract1.html
- type_Policy.html
- type_Polka.Abstract0.html
- type_Polka.Abstract1.html
- type_Polka.html
- type_PolkaGrid.Abstract0.html
- type_PolkaGrid.Abstract1.html
- type_PolkaGrid.html
- type_Ppl.Abstract0.html
- type_Ppl.Abstract1.html
- type_Ppl.html
- type_Pplite.Abstract0.html
- type_Pplite.Abstract1.html
- type_Pplite.html
- type_Scalar.html
- type_T1p.html
- type_Tcons0.html
- type_Tcons1.html
- type_Texpr0.html
- type_Texpr1.html
- type_Var.html
- type_Version.html
- ocaml-apron-devel/
- doc/
- lib64/
Sources on Pagure