Main Site Links:

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

Information for RPM flocq-source-4.2.0-2.fc41.riscv64.rpm

ID	1363274
Name	flocq-source
Version	4.2.0
Release	2.fc41
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-07-25 11:04:10 GMT
Size	268.47 KB
SIGMD5	614c4acbb9f8ef58cc5ea9f99631cb2d
License	LGPL-3.0-or-later
VCS	git:https://gitlab.inria.fr/flocq/flocq.git
Buildroot	f41-build-821277-152509
Provides	flocq-source = 4.2.0-2.fc41 flocq-source(riscv-64) = 4.2.0-2.fc41
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	flocq(riscv-64) = 4.2.0-2.fc41 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.68 KB /usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLX.v 9.64 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 118.04 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