Main Site Links:

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

Information for RPM flocq-source-4.1.3-1.fc40.riscv64.rpm

ID	1167887
Name	flocq-source
Version	4.1.3
Release	1.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	2024-01-07 14:11:38 GMT
Size	267.86 KB
SIGMD5	eea064f54286d6d40814b95927a061ec
License	LGPL-3.0-or-later
Buildroot	f40-build-772356-126388
Provides	flocq-source = 4.1.3-1.fc40 flocq-source(riscv-64) = 4.1.3-1.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	flocq(riscv-64) = 4.1.3-1.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 39 of 39 Name Size /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Bracket.v 18.03 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.84 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.62 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Sqrt.v 5.31 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Core.v 808.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.53 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.42 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FTZ.v 8.46 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.53 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Raux.v 50.68 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_NE.v 14.06 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_pred.v 34.87 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Ulp.v 68.44 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Zaux.v 21.33 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.v 36.59 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.v 117.50 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.v 21.40 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 14.33 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Nat2Z_8_12.v 272.00 B /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Nat2Z_compat.v 172.00 B /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff.v 1.08 MB /usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2Flocq.v 85.20 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.34 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.86 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.44 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Version.v 1.10 KB
Component of	No Buildroots