Main Site Links:

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

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

ID	1092000
Name	flocq-source
Version	4.1.1
Release	6.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-11-13 13:34:40 GMT
Size	267.28 KB
SIGMD5	29ab76ee705e7733df563e2e32e8662f
License	LGPL-3.0-or-later
Buildroot	f40-build-740078-109446
Provides	flocq-source = 4.1.1-6.fc40 flocq-source(riscv-64) = 4.1.1-6.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	flocq(riscv-64) = 4.1.1-6.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