flocq-4.1.4-1.fc40 in Fedora 40
↵ Return to the main page of flocq
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2024-02-02 | Jerry James <loganjerry at gmail dot com> - 4.1.4-1 | - Version 4.1.4 |
| 2024-01-24 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.1.3-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2024-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.1.3-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
| 2024-01-02 | Jerry James <loganjerry at gmail dot com> - 4.1.3-1 | - Version 4.1.3 |
| 2023-12-18 | Richard W.M. Jones <rjones at redhat dot com> - 4.1.1-8 | - OCaml 5.1.1 + s390x code gen fix for Fedora 40 |
| 2023-12-12 | Richard W.M. Jones <rjones at redhat dot com> - 4.1.1-7 | - OCaml 5.1.1 rebuild for Fedora 40 |
| 2023-10-05 | Richard W.M. Jones <rjones at redhat dot com> - 4.1.1-6 | - OCaml 5.1 rebuild for Fedora 40 |
| 2023-07-27 | Jerry James <loganjerry at gmail dot com> - 4.1.1-5 | - Rebuild for ocaml-zarith 1.13 |
| 2023-07-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.1.1-4 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild |
| 2023-07-12 | Richard W.M. Jones <rjones at redhat dot com> - 4.1.1-3 | - OCaml 5.0 rebuild for Fedora 39 |
Dependencies
- coq = 8.18.0
Provides
- flocq
- flocq(x86-64)
Files
- usr/
- lib64/
- ocaml/
- coq/
- user-contrib/
- Flocq/
- Calc/
- Bracket.vo
- Div.vo
- Operations.vo
- Plus.vo
- Round.vo
- Sqrt.vo
- Core/
- Core.vo
- Defs.vo
- Digits.vo
- FIX.vo
- FLT.vo
- FLX.vo
- FTZ.vo
- Float_prop.vo
- Generic_fmt.vo
- Raux.vo
- Round_NE.vo
- Round_pred.vo
- Ulp.vo
- Zaux.vo
- IEEE754/
- Binary.vo
- BinarySingleNaN.vo
- Bits.vo
- Int63Compat.vo
- Int63Copy.vo
- PrimFloat.vo
- Pff/
- Pff.vo
- Pff2Flocq.vo
- Pff2FlocqAux.vo
- Prop/
- Div_sqrt_error.vo
- Double_rounding.vo
- Mult_error.vo
- Plus_error.vo
- Relative.vo
- Round_odd.vo
- Sterbenz.vo
- Version.vo
- Calc/
- Flocq/
- user-contrib/
- coq/
- ocaml/
- share/
- doc/
- flocq/
- AUTHORS
- NEWS.md
- README.md
- html/
- Flocq.Calc.Bracket.html
- Flocq.Calc.Div.html
- Flocq.Calc.Operations.html
- Flocq.Calc.Plus.html
- Flocq.Calc.Round.html
- Flocq.Calc.Sqrt.html
- Flocq.Core.Core.html
- Flocq.Core.Defs.html
- Flocq.Core.Digits.html
- Flocq.Core.FIX.html
- Flocq.Core.FLT.html
- Flocq.Core.FLX.html
- Flocq.Core.FTZ.html
- Flocq.Core.Float_prop.html
- Flocq.Core.Generic_fmt.html
- Flocq.Core.Raux.html
- Flocq.Core.Round_NE.html
- Flocq.Core.Round_pred.html
- Flocq.Core.Ulp.html
- Flocq.Core.Zaux.html
- Flocq.IEEE754.Binary.html
- Flocq.IEEE754.BinarySingleNaN.html
- Flocq.IEEE754.Bits.html
- Flocq.IEEE754.Int63Compat.html
- Flocq.IEEE754.Int63Copy.html
- Flocq.IEEE754.PrimFloat.html
- Flocq.Pff.Pff.html
- Flocq.Pff.Pff2Flocq.html
- Flocq.Pff.Pff2FlocqAux.html
- Flocq.Prop.Div_sqrt_error.html
- Flocq.Prop.Double_rounding.html
- Flocq.Prop.Mult_error.html
- Flocq.Prop.Plus_error.html
- Flocq.Prop.Relative.html
- Flocq.Prop.Round_odd.html
- Flocq.Prop.Sterbenz.html
- Flocq.Version.html
- coqdoc.css
- index.html
- toc.html
- flocq/
- licenses/
- flocq/
- COPYING
- flocq/
- doc/
- lib64/
Sources on Pagure