flocq-source-4.2.0-2.fc41 in Fedora Rawhide
↵ Return to the main page of flocq-source
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2024-07-17 | Fedora Release Engineering <releng at fedoraproject dot org> - 4.2.0-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild |
| 2024-07-16 | Jerry James <loganjerry at gmail dot com> - 4.2.0-1 | - Version 4.2.0 |
| 2024-06-19 | Richard W.M. Jones <rjones at redhat dot com> - 4.1.4-3 | - OCaml 5.2.0 ppc64le fix |
| 2024-05-29 | Richard W.M. Jones <rjones at redhat dot com> - 4.1.4-2 | - OCaml 5.2.0 for Fedora 41 |
| 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 |
Dependencies
- flocq = 4.2.0-2.fc41
Provides
- flocq-source
- flocq-source(x86-64)
Files
- usr/
- lib64/
- ocaml/
- coq/
- user-contrib/
- Flocq/
- Calc/
- Bracket.v
- Div.v
- Operations.v
- Plus.v
- Round.v
- Sqrt.v
- Core/
- Core.v
- Defs.v
- Digits.v
- FIX.v
- FLT.v
- FLX.v
- FTZ.v
- Float_prop.v
- Generic_fmt.v
- Raux.v
- Round_NE.v
- Round_pred.v
- Ulp.v
- Zaux.v
- IEEE754/
- Binary.v
- BinarySingleNaN.v
- Bits.v
- Int63Compat.v
- Int63Copy.v
- PrimFloat.v
- Pff/
- Nat2Z_8_12.v
- Nat2Z_compat.v
- Pff.v
- Pff2Flocq.v
- Pff2FlocqAux.v
- Prop/
- Div_sqrt_error.v
- Double_rounding.v
- Mult_error.v
- Plus_error.v
- Relative.v
- Round_odd.v
- Sterbenz.v
- Version.v
- Calc/
- Flocq/
- user-contrib/
- coq/
- ocaml/
- lib64/
Sources on Pagure