Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Wed, 27 Nov 2024 05:43:43 UTC |
login
Information for RPM
flocq-4.2.0-2.fc41.riscv64.rpm
ID
1363273
Name
flocq
Version
4.2.0
Release
2.fc41
Epoch
Arch
riscv64
Summary
Formalization of floating point numbers for Coq
Description
Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Build Time
2024-07-25 11:04:10 GMT
Size
3.54 MB
SIGMD5
88df8252941fcd9ad20483dccd6babdf
License
LGPL-3.0-or-later
VCS
git:https://gitlab.inria.fr/flocq/flocq.git
Buildroot
f41-build-821277-152509
Provides
flocq = 4.2.0-2.fc41
flocq(riscv-64) = 4.2.0-2.fc41
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
coq(riscv-64) = 8.18.0
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
Page:
1
2
1 through 50 of 92
>>>
Name
Size
/usr/lib64/ocaml/coq/user-contrib/Flocq
0.00 B
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc
0.00 B
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Bracket.vo
92.48 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Div.vo
53.90 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Operations.vo
44.34 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Plus.vo
52.21 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Round.vo
136.14 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Sqrt.vo
51.45 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core
0.00 B
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Core.vo
29.41 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Defs.vo
34.73 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Digits.vo
110.46 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FIX.vo
37.46 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLT.vo
82.90 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLX.vo
68.15 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FTZ.vo
58.55 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Float_prop.vo
61.18 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.vo
186.02 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Raux.vo
175.25 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_NE.vo
76.11 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_pred.vo
119.23 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Ulp.vo
219.77 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Zaux.vo
95.46 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754
0.00 B
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.vo
226.48 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.vo
602.51 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.vo
115.55 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Compat.vo
20.47 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Copy.vo
37.26 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.vo
83.68 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff
0.00 B
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Nat2Z_compat.vo
1.64 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff.vo
3.02 MB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2Flocq.vo
226.85 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.vo
95.71 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop
0.00 B
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Div_sqrt_error.vo
139.94 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Double_rounding.vo
532.02 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Mult_error.vo
62.62 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.vo
77.77 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Relative.vo
107.53 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.vo
122.27 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Sterbenz.vo
43.04 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Version.vo
14.00 KB
/usr/share/doc/flocq
0.00 B
/usr/share/doc/flocq/AUTHORS
88.00 B
/usr/share/doc/flocq/NEWS.md
13.37 KB
/usr/share/doc/flocq/README.md
722.00 B
/usr/share/doc/flocq/html
0.00 B
/usr/share/doc/flocq/html/Flocq.Calc.Bracket.html
140.93 KB
Component of
1 through 3 of 3
Buildroot
Created
State
f41-build-849196-164669
2024-09-19 14:55:58
f41-build-821776-152618
2024-07-25 13:11:25
f41-build-821599-152580
2024-07-25 12:22:03
Copyright © 2006-2016 Red Hat, Inc.