Thu, 31 Oct 2024 22:46:23 UTC | login

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

ID1092000
Nameflocq-source
Version4.1.1
Release6.fc40
Epoch
Archriscv64
SummarySource Coq files
DescriptionThis package contains the source Coq files for flocq. These files are not needed to use flocq. They are made available for informational purposes.
Build Time2023-11-13 13:34:40 GMT
Size267.28 KB
29ab76ee705e7733df563e2e32e8662f
LicenseLGPL-3.0-or-later
Buildrootf40-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 ascending sort Size
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Bracket.v17.92 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Div.v5.14 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Operations.v3.83 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Plus.v4.80 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Round.v31.61 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Sqrt.v5.30 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Core.v802.00 B
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Defs.v2.53 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Digits.v27.36 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FIX.v2.52 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLT.v13.30 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLX.v9.41 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FTZ.v8.45 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Float_prop.v11.64 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.v53.52 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Raux.v50.67 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_NE.v14.05 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_pred.v34.86 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Ulp.v68.43 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Zaux.v21.32 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.v36.58 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.v117.49 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.v21.39 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Compat.v226.00 B
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Copy.v12.63 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.v13.55 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff.v1.08 MB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2Flocq.v85.13 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v24.20 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v29.88 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Double_rounding.v153.86 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Mult_error.v10.33 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.v16.67 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Relative.v28.85 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.v32.13 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Sterbenz.v4.43 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Version.v1.09 KB
Component of No Buildroots