Main Site Links:

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

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

ID	1261711
Name	flocq-source
Version	4.1.4
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-03-23 13:06:46 GMT
Size	268.29 KB
SIGMD5	23e430215628dc250165bc09527081e3
License	LGPL-3.0-or-later
Buildroot	f40-build-796834-140845
Provides	flocq-source = 4.1.4-1.fc40 flocq-source(riscv-64) = 4.1.4-1.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	flocq(riscv-64) = 4.1.4-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.69 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.34 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.18 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