flocq-3.4.0-4.fc34 in Fedora 34
↵ 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 |
|---|---|---|
| 2021-03-03 | Jerry James <loganjerry at gmail dot com> - 3.4.0-4 | - Rebuild for coq 8.13.1 and ocaml-zarith 1.12 |
| 2021-02-20 | Jerry James <loganjerry at gmail dot com> - 3.4.0-3 | - Rebuild for coq 8.13.0 - Use native compilation when available |
| 2021-01-26 | Fedora Release Engineering <releng at fedoraproject dot org> - 3.4.0-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild |
| 2021-01-01 | Jerry James <loganjerry at gmail dot com> - 3.4.0-1 | - Version 3.4.0 |
| 2020-12-23 | Jerry James <loganjerry at gmail dot com> - 3.3.1-9 | - Rebuild for coq 8.12.2 |
| 2020-12-02 | Jerry James <loganjerry at gmail dot com> - 3.3.1-8 | - Rebuild for coq 8.12.1 |
| 2020-09-25 | Jerry James <loganjerry at gmail dot com> - 3.3.1-7 | - Flocq is installed in an archful directory, so cannot be noarch - ExcludeArch s390x due to bz 1874879 |
| 2020-09-02 | Richard W.M. Jones <rjones at redhat dot com> - 3.3.1-6 | - OCaml 4.11.1 rebuild |
| 2020-09-01 | Jerry James <loganjerry at gmail dot com> - 3.3.1-5 | - Rebuild for coq 8.12.0 - Revert to a noarch package |
| 2020-08-22 | Richard W.M. Jones <rjones at redhat dot com> - 3.3.1-5 | - OCaml 4.11.0 rebuild |
Dependencies
- coq = 8.13.1
- glibc
- ocaml = 3a3ca1838627f7762f49679ce0278ad1
- ocaml-camlimages = e60f8f1a06d2c9347eb2d603679ef51a
- ocaml-camlimages-devel = e60f8f1a06d2c9347eb2d603679ef51a
- ocaml-cil = e60f8f1a06d2c9347eb2d603679ef51a
- ocaml-cil-devel = e60f8f1a06d2c9347eb2d603679ef51a
- ocaml-ocp-indent = e60f8f1a06d2c9347eb2d603679ef51a
- ocaml-ocp-indent-devel = e60f8f1a06d2c9347eb2d603679ef51a
- ocaml-runtime = 3a3ca1838627f7762f49679ce0278ad1
- ocaml-tplib = e6d191b089c68976347fa6524bb28048
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/
- 18/
- 18f3bae6d37ee0670992a68ed6034062ba2882
- 93e5017215a2485a67d719413e0cd5add35cec
- 1d/
- 212df17b14bcda81c4e460b3f089e3c4453ff0
- 23/
- 0d8f64a2f24a1bc2565cff02d4db27880cbdab
- 24/
- e82c96eeaa1852afda98a42b271e3fe9c348b2
- 25/
- 2c188004d14def29dab5039d9fc8c9491dbf95
- 29/
- 329dc793300cac7ea749053e65bcf292e46952
- 2c/
- 796b9d380be6083378fd3c444ef9686f9a450a
- 31/
- 3e3ea952c8176204f8f83c36fdda9dc01b050f
- b8890d9a8dbca51158514fe63fde1d24c96670
- 3d/
- 1b9fa98b30ec0e580896d04e214e673ead65ec
- 42/
- 44b74c64fc8a6fd7c84fca1b63eb60b8f67428
- 44/
- dde12bacc57b1111d083c1a7210ee435d17483
- 4a/
- d470935b82dacb5f865b3d1bbd8983b3621662
- 5c/
- 419a150aa64a8d40db031b3a28ca7e624ee214
- 5e/
- 93054554a227bce59480e808435bd68e2bbc2f
- 63/
- 82c0d5c2d0b966c488d884985d07039d7f616c
- 75/
- fcb38a77ccfc888fe737f3f364c42425647ead
- 76/
- 2e197e256a5d98de0738905f1556f02d59a111
- 9b/
- 8646fd351587d2f928e33d72d08380116efaf0
- a4/
- 3a7888e19a543fd43216dc68a7d4a0bd37416a
- a6/
- 524c07b90c1565d97c1e50ea37417996099b9c
- aa/
- bf79aeb28ad72d01a8bae0f138d01af7e6c637
- b9/
- 95d5499bbf779b6285b7493301a653283de1fe
- bf/
- 0af182dc86923ed11d3fd8619c253aea85ab48
- c0/
- 9c448b10c71ec80970926c793248908ab64961
- c3/
- 1f4397057d2048f8de04c70df659c0ad43132b
- c5/
- e779241f4ae2615c6d34c7db46fcb2f803366d
- ca/
- 8e5fd10cb353325969a4b4fb1681feb0745c2e
- e0/
- 63dc79c3ddcf520b174c0a0dd820f7c2cb2082
- e1/
- dbd48bed024352234d8068db4b000e88369482
- e7/
- ba63b2bb7c0c74249201474a82bde19094575b
- f8/
- 5186c2e9c09d26ef00dad626a03ab6f51b7be8
- fa/
- d323a8f0ee13cb0e3e14f3e7cab59748866f96
- fe/
- 7b44323c0d089d1ef9270ec32d2abd86bc7192
- 18/
- .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