flocq-3.4.2-8.fc36 in Fedora Rawhide
↵ 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 |
|---|---|---|
| 2022-01-03 | Jerry James <loganjerry at gmail dot com> - 3.4.2-8 | - Rebuild due to rebuilt coq |
| 2021-11-30 | Jerry James <loganjerry at gmail dot com> - 3.4.2-7 | - Rebuild for coq 8.14.1 |
| 2021-10-21 | Jerry James <loganjerry at gmail dot com> - 3.4.2-6 | - Rebuild for coq 8.14.0 - New URLs |
| 2021-10-05 | Richard W.M. Jones <rjones at redhat dot com> - 3.4.2-5 | - OCaml 4.13.1 build |
| 2021-10-04 | Richard W.M. Jones <rjones at redhat dot com> - 3.4.2-4 | - Try to build on s390x with OCaml 4.13 |
| 2021-07-30 | Jerry James <loganjerry at gmail dot com> - 3.4.2-2 | - Rebuild for rebuilt coq |
| 2021-07-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 3.4.2-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild |
| 2021-07-14 | Jerry James <loganjerry at gmail dot com> - 3.4.2-1 | - Version 3.4.2 |
| 2021-06-08 | Jerry James <loganjerry at gmail dot com> - 3.4.0-6 | - Rebuild for coq 8.13.2 |
| 2021-03-03 | Jerry James <loganjerry at gmail dot com> - 3.4.0-5 | - Rebuild for coq 8.13.1 and ocaml-zarith 1.12 |
Dependencies
- coq = 8.14.1
- coq-core = b8e201a8ead94cdd88c7a0e751f8beee
- glibc
- ocaml = c4b583a727ec28f5bc9ba36adc64cfc7
- ocaml-camlimages = 61ca92100b452100bccb394183dd771b
- ocaml-camlimages-devel = 61ca92100b452100bccb394183dd771b
- ocaml-cil = 61ca92100b452100bccb394183dd771b
- ocaml-cil-devel = 61ca92100b452100bccb394183dd771b
- ocaml-ocp-indent = 61ca92100b452100bccb394183dd771b
- ocaml-ocp-indent-devel = 61ca92100b452100bccb394183dd771b
- ocaml-runtime = c4b583a727ec28f5bc9ba36adc64cfc7
Provides
- flocq
- flocq(x86-64)
- ocaml(NFlocq_Calc_Bracket)
- ocaml(NFlocq_Calc_Div)
- ocaml(NFlocq_Calc_Operations)
- ocaml(NFlocq_Calc_Round)
- ocaml(NFlocq_Calc_Sqrt)
- ocaml(NFlocq_Core_Core)
- ocaml(NFlocq_Core_Defs)
- ocaml(NFlocq_Core_Digits)
- ocaml(NFlocq_Core_FIX)
- ocaml(NFlocq_Core_FLT)
- ocaml(NFlocq_Core_FLX)
- ocaml(NFlocq_Core_FTZ)
- ocaml(NFlocq_Core_Float_prop)
- ocaml(NFlocq_Core_Generic_fmt)
- ocaml(NFlocq_Core_Raux)
- ocaml(NFlocq_Core_Round_NE)
- ocaml(NFlocq_Core_Round_pred)
- ocaml(NFlocq_Core_Ulp)
- ocaml(NFlocq_Core_Zaux)
- ocaml(NFlocq_IEEE754_Binary)
- ocaml(NFlocq_IEEE754_BinarySingleNaN)
- ocaml(NFlocq_IEEE754_Bits)
- ocaml(NFlocq_IEEE754_PrimFloat)
- ocaml(NFlocq_IEEE754_SpecFloatCompat)
- ocaml(NFlocq_Pff_Pff)
- ocaml(NFlocq_Pff_Pff2Flocq)
- ocaml(NFlocq_Pff_Pff2FlocqAux)
- ocaml(NFlocq_Prop_Div_sqrt_error)
- ocaml(NFlocq_Prop_Double_rounding)
- ocaml(NFlocq_Prop_Mult_error)
- ocaml(NFlocq_Prop_Plus_error)
- ocaml(NFlocq_Prop_Relative)
- ocaml(NFlocq_Prop_Round_odd)
- ocaml(NFlocq_Prop_Sterbenz)
- ocaml(NFlocq_Version)
- ocamlx(NFlocq_Calc_Bracket)
- ocamlx(NFlocq_Calc_Div)
- ocamlx(NFlocq_Calc_Operations)
- ocamlx(NFlocq_Calc_Round)
- ocamlx(NFlocq_Calc_Sqrt)
- ocamlx(NFlocq_Core_Core)
- ocamlx(NFlocq_Core_Defs)
- ocamlx(NFlocq_Core_Digits)
- ocamlx(NFlocq_Core_FIX)
- ocamlx(NFlocq_Core_FLT)
- ocamlx(NFlocq_Core_FLX)
- ocamlx(NFlocq_Core_FTZ)
- ocamlx(NFlocq_Core_Float_prop)
- ocamlx(NFlocq_Core_Generic_fmt)
- ocamlx(NFlocq_Core_Raux)
- ocamlx(NFlocq_Core_Round_NE)
- ocamlx(NFlocq_Core_Round_pred)
- ocamlx(NFlocq_Core_Ulp)
- ocamlx(NFlocq_Core_Zaux)
- ocamlx(NFlocq_IEEE754_Binary)
- ocamlx(NFlocq_IEEE754_BinarySingleNaN)
- ocamlx(NFlocq_IEEE754_Bits)
- ocamlx(NFlocq_IEEE754_PrimFloat)
- ocamlx(NFlocq_IEEE754_SpecFloatCompat)
- ocamlx(NFlocq_Pff_Pff)
- ocamlx(NFlocq_Pff_Pff2Flocq)
- ocamlx(NFlocq_Pff_Pff2FlocqAux)
- ocamlx(NFlocq_Prop_Div_sqrt_error)
- ocamlx(NFlocq_Prop_Double_rounding)
- ocamlx(NFlocq_Prop_Mult_error)
- ocamlx(NFlocq_Prop_Plus_error)
- ocamlx(NFlocq_Prop_Relative)
- ocamlx(NFlocq_Prop_Round_odd)
- ocamlx(NFlocq_Prop_Sterbenz)
- ocamlx(NFlocq_Version)
Files
- usr/
- lib/
- .build-id/
- 0f/
- 3c7a0c8fcb4ef2e22f42760355ffa317640bb9
- 13/
- 94ebe600a63efe15c653c9ddfc8c0fd69696b5
- 16/
- 5c07879518c3b668f5db33a6dbfb179724db94
- 17/
- 94af3136d51148f99f787921324a17a745e45e
- 30/
- 39ea82f2487c78a4267e5af3bbef37b3af2090
- 48/
- cb8b363081a769ffd973b2416acd4c86e99281
- 59/
- c01990e50ffe8d0782853f3d19bb2c29853159
- 5f/
- 1ac1df5e033c1485c144d401675716c30b4b6a
- 68/
- a9d785729fc23cf6e39cd23ad2cb260d0a4f9d
- 6e/
- 0a3ff8df270462b9a9289897cebc13bc5993f6
- 74/
- 66437d8007e09b529852eda38168cacf4a7a7c
- 87/
- 86bf021facc797d83e83c1b7ea550eb78fffb6
- 89/
- ae4f52b4a02bb1f9c28eb7e1b61beb47f3d8ba
- 92/
- abcb3c0efca549025c92e54468c0b782145b92
- 9b/
- 3063ac9ca76857988c7a0d8ac8db222d031368
- a1/
- 542493fb54e313ddffecc27da28fdc185b8f85
- ab/
- 34736c61489ac2452530c8d6e436a6f7f92326
- b5/
- 37431b7d2a32eeaccc2bc93ea099ee16bcdb41
- b7/
- 362420f6d656cbad0a19538d8ad759fb559e66
- b8/
- aab185d76569db7b69ccb357b737a41c1e9425
- ba/
- 0a099d3e5d8f686dc3ba7689795eee8c781c2c
- ce350b9496d7b280e9f8be36097b079326678e
- be/
- 216e822c2f65bd73679d5dda0dfc1ad937c045
- c3/
- d0032576f4d740f9acf9fd756212cb7f761e92
- c5/
- 56520efe5c2d4346dd504c69de98bb7f22d023
- c6/
- 01e33a3c297f5355480078bd663e8c109ada89
- 2cfb9bcbd2f9f17e73024416c13ef0ed01a652
- d6/
- 510f94bdd5ad9d15e012aa53c4d1d627a6bc1e
- d8/
- 959081158b994766c2106eb61d95b35da7edae
- e1/
- e55870249fdd336e3f7bb5b45d6fbbf19f88db
- e2/
- 8c4ac3cedbbd421ed636282b0fd8eae2878c11
- e4/
- e9c81e431077bb8399baf7695147760b5d7919
- e6/
- 6e495778f1de41489549f22ac7d5f49767606c
- fd/
- 14c7f4385da57182557f25f7b2982265c1dbec
- ff/
- 562108550e52060f3e174534364b13f88afe68
- 0f/
- .build-id/
- lib64/
- ocaml/
- coq/
- user-contrib/
- Flocq/
- .coq-native/
- NFlocq_Version.cmi
- NFlocq_Version.cmx
- NFlocq_Version.cmxs
- NFlocq_Version.o
- Calc/
- .coq-native/
- NFlocq_Calc_Bracket.cmi
- NFlocq_Calc_Bracket.cmx
- NFlocq_Calc_Bracket.cmxs
- NFlocq_Calc_Bracket.o
- NFlocq_Calc_Div.cmi
- NFlocq_Calc_Div.cmx
- NFlocq_Calc_Div.cmxs
- NFlocq_Calc_Div.o
- NFlocq_Calc_Operations.cmi
- NFlocq_Calc_Operations.cmx
- NFlocq_Calc_Operations.cmxs
- NFlocq_Calc_Operations.o
- NFlocq_Calc_Round.cmi
- NFlocq_Calc_Round.cmx
- NFlocq_Calc_Round.cmxs
- NFlocq_Calc_Round.o
- NFlocq_Calc_Sqrt.cmi
- NFlocq_Calc_Sqrt.cmx
- NFlocq_Calc_Sqrt.cmxs
- NFlocq_Calc_Sqrt.o
- Bracket.vo
- Div.vo
- Operations.vo
- Round.vo
- Sqrt.vo
- .coq-native/
- Core/
- .coq-native/
- NFlocq_Core_Core.cmi
- NFlocq_Core_Core.cmx
- NFlocq_Core_Core.cmxs
- NFlocq_Core_Core.o
- NFlocq_Core_Defs.cmi
- NFlocq_Core_Defs.cmx
- NFlocq_Core_Defs.cmxs
- NFlocq_Core_Defs.o
- NFlocq_Core_Digits.cmi
- NFlocq_Core_Digits.cmx
- NFlocq_Core_Digits.cmxs
- NFlocq_Core_Digits.o
- NFlocq_Core_FIX.cmi
- NFlocq_Core_FIX.cmx
- NFlocq_Core_FIX.cmxs
- NFlocq_Core_FIX.o
- NFlocq_Core_FLT.cmi
- NFlocq_Core_FLT.cmx
- NFlocq_Core_FLT.cmxs
- NFlocq_Core_FLT.o
- NFlocq_Core_FLX.cmi
- NFlocq_Core_FLX.cmx
- NFlocq_Core_FLX.cmxs
- NFlocq_Core_FLX.o
- NFlocq_Core_FTZ.cmi
- NFlocq_Core_FTZ.cmx
- NFlocq_Core_FTZ.cmxs
- NFlocq_Core_FTZ.o
- NFlocq_Core_Float_prop.cmi
- NFlocq_Core_Float_prop.cmx
- NFlocq_Core_Float_prop.cmxs
- NFlocq_Core_Float_prop.o
- NFlocq_Core_Generic_fmt.cmi
- NFlocq_Core_Generic_fmt.cmx
- NFlocq_Core_Generic_fmt.cmxs
- NFlocq_Core_Generic_fmt.o
- NFlocq_Core_Raux.cmi
- NFlocq_Core_Raux.cmx
- NFlocq_Core_Raux.cmxs
- NFlocq_Core_Raux.o
- NFlocq_Core_Round_NE.cmi
- NFlocq_Core_Round_NE.cmx
- NFlocq_Core_Round_NE.cmxs
- NFlocq_Core_Round_NE.o
- NFlocq_Core_Round_pred.cmi
- NFlocq_Core_Round_pred.cmx
- NFlocq_Core_Round_pred.cmxs
- NFlocq_Core_Round_pred.o
- NFlocq_Core_Ulp.cmi
- NFlocq_Core_Ulp.cmx
- NFlocq_Core_Ulp.cmxs
- NFlocq_Core_Ulp.o
- NFlocq_Core_Zaux.cmi
- NFlocq_Core_Zaux.cmx
- NFlocq_Core_Zaux.cmxs
- NFlocq_Core_Zaux.o
- 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
- .coq-native/
- IEEE754/
- .coq-native/
- NFlocq_IEEE754_Binary.cmi
- NFlocq_IEEE754_Binary.cmx
- NFlocq_IEEE754_Binary.cmxs
- NFlocq_IEEE754_Binary.o
- NFlocq_IEEE754_BinarySingleNaN.cmi
- NFlocq_IEEE754_BinarySingleNaN.cmx
- NFlocq_IEEE754_BinarySingleNaN.cmxs
- NFlocq_IEEE754_BinarySingleNaN.o
- NFlocq_IEEE754_Bits.cmi
- NFlocq_IEEE754_Bits.cmx
- NFlocq_IEEE754_Bits.cmxs
- NFlocq_IEEE754_Bits.o
- NFlocq_IEEE754_PrimFloat.cmi
- NFlocq_IEEE754_PrimFloat.cmx
- NFlocq_IEEE754_PrimFloat.cmxs
- NFlocq_IEEE754_PrimFloat.o
- NFlocq_IEEE754_SpecFloatCompat.cmi
- NFlocq_IEEE754_SpecFloatCompat.cmx
- NFlocq_IEEE754_SpecFloatCompat.cmxs
- NFlocq_IEEE754_SpecFloatCompat.o
- Binary.vo
- BinarySingleNaN.vo
- Bits.vo
- PrimFloat.vo
- SpecFloatCompat.vo
- .coq-native/
- Pff/
- .coq-native/
- NFlocq_Pff_Pff.cmi
- NFlocq_Pff_Pff.cmx
- NFlocq_Pff_Pff.cmxs
- NFlocq_Pff_Pff.o
- NFlocq_Pff_Pff2Flocq.cmi
- NFlocq_Pff_Pff2Flocq.cmx
- NFlocq_Pff_Pff2Flocq.cmxs
- NFlocq_Pff_Pff2Flocq.o
- NFlocq_Pff_Pff2FlocqAux.cmi
- NFlocq_Pff_Pff2FlocqAux.cmx
- NFlocq_Pff_Pff2FlocqAux.cmxs
- NFlocq_Pff_Pff2FlocqAux.o
- Pff.vo
- Pff2Flocq.vo
- Pff2FlocqAux.vo
- .coq-native/
- Prop/
- .coq-native/
- NFlocq_Prop_Div_sqrt_error.cmi
- NFlocq_Prop_Div_sqrt_error.cmx
- NFlocq_Prop_Div_sqrt_error.cmxs
- NFlocq_Prop_Div_sqrt_error.o
- NFlocq_Prop_Double_rounding.cmi
- NFlocq_Prop_Double_rounding.cmx
- NFlocq_Prop_Double_rounding.cmxs
- NFlocq_Prop_Double_rounding.o
- NFlocq_Prop_Mult_error.cmi
- NFlocq_Prop_Mult_error.cmx
- NFlocq_Prop_Mult_error.cmxs
- NFlocq_Prop_Mult_error.o
- NFlocq_Prop_Plus_error.cmi
- NFlocq_Prop_Plus_error.cmx
- NFlocq_Prop_Plus_error.cmxs
- NFlocq_Prop_Plus_error.o
- NFlocq_Prop_Relative.cmi
- NFlocq_Prop_Relative.cmx
- NFlocq_Prop_Relative.cmxs
- NFlocq_Prop_Relative.o
- NFlocq_Prop_Round_odd.cmi
- NFlocq_Prop_Round_odd.cmx
- NFlocq_Prop_Round_odd.cmxs
- NFlocq_Prop_Round_odd.o
- NFlocq_Prop_Sterbenz.cmi
- NFlocq_Prop_Sterbenz.cmx
- NFlocq_Prop_Sterbenz.cmxs
- NFlocq_Prop_Sterbenz.o
- Div_sqrt_error.vo
- Double_rounding.vo
- Mult_error.vo
- Plus_error.vo
- Relative.vo
- Round_odd.vo
- Sterbenz.vo
- .coq-native/
- Version.vo
- .coq-native/
- 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.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.PrimFloat.html
- Flocq.IEEE754.SpecFloatCompat.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/
- lib/
Sources on Pagure