Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM flocq-source-4.1.1-7.fc40.riscv64.rpm

ID	1151431
Name	flocq-source
Version	4.1.1
Release	7.fc40
Epoch
Arch	riscv64
Summary	Source Coq files
Description	This package contains the source Coq files for flocq. These files are not needed to use flocq. They are made available for informational purposes.
Build Time	2023-12-15 17:11:27 GMT
Size	267.10 KB
SIGMD5	586ecbbb0b1b106697d531c478651ee5
License	LGPL-3.0-or-later
Buildroot	f40-build-763042-122273
Provides	flocq-source = 4.1.1-7.fc40 flocq-source(riscv-64) = 4.1.1-7.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	flocq(riscv-64) = 4.1.1-7.fc40 rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 37 of 37 Name Size /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Bracket.v 17.92 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Div.v 5.14 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Operations.v 3.83 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Plus.v 4.80 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Round.v 31.61 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Sqrt.v 5.30 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Core.v 802.00 B /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Defs.v 2.53 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Digits.v 27.36 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FIX.v 2.52 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLT.v 13.30 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLX.v 9.41 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FTZ.v 8.45 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Float_prop.v 11.64 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.v 53.52 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Raux.v 50.67 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_NE.v 14.05 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_pred.v 34.86 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Ulp.v 68.43 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Zaux.v 21.32 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.v 36.58 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.v 117.49 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.v 21.39 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Compat.v 226.00 B /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Copy.v 12.63 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.v 13.55 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff.v 1.08 MB /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2Flocq.v 85.13 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v 24.20 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v 29.88 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Double_rounding.v 153.86 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Mult_error.v 10.33 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.v 16.67 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Relative.v 28.85 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.v 32.13 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Sterbenz.v 4.43 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Version.v 1.09 KB
Component of	No Buildroots