Main Site Links:

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

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

ID	1158577
Name	flocq-source
Version	4.1.1
Release	8.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-27 08:18:07 GMT
Size	267.21 KB
SIGMD5	74523e64de542a89a0f224dd387150d3
License	LGPL-3.0-or-later
Buildroot	f40-build-766716-124288
Provides	flocq-source = 4.1.1-8.fc40 flocq-source(riscv-64) = 4.1.1-8.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	flocq(riscv-64) = 4.1.1-8.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