Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Fri, 27 Sep 2024 11:37:53 UTC |
login
Information for RPM
flocq-4.1.4-1.fc40.riscv64.rpm
ID
1261710
Name
flocq
Version
4.1.4
Release
1.fc40
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-03-23 13:06:46 GMT
Size
3.60 MB
SIGMD5
bb74b3dd575f9d1aba4107054b110aa2
License
LGPL-3.0-or-later
Buildroot
f40-build-796834-140845
Provides
flocq = 4.1.4-1.fc40
flocq(riscv-64) = 4.1.4-1.fc40
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 90
>>>
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/Core
0.00 B
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754
0.00 B
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff
0.00 B
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop
0.00 B
/usr/share/doc/flocq
0.00 B
/usr/share/doc/flocq/html
0.00 B
/usr/share/licenses/flocq
0.00 B
/usr/share/doc/flocq/AUTHORS
88.00 B
/usr/share/doc/flocq/README.md
722.00 B
/usr/share/doc/flocq/html/Flocq.IEEE754.Int63Compat.html
947.00 B
/usr/share/doc/flocq/html/Flocq.Core.Core.html
2.80 KB
/usr/share/doc/flocq/html/coqdoc.css
6.00 KB
/usr/share/doc/flocq/html/toc.html
7.15 KB
/usr/share/doc/flocq/html/Flocq.Version.html
7.17 KB
/usr/share/licenses/flocq/COPYING
7.47 KB
/usr/share/doc/flocq/NEWS.md
13.21 KB
/usr/share/doc/flocq/html/Flocq.Core.FIX.html
13.77 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Version.vo
14.00 KB
/usr/share/doc/flocq/html/Flocq.Prop.Sterbenz.html
17.88 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Compat.vo
20.47 KB
/usr/share/doc/flocq/html/Flocq.Calc.Sqrt.html
25.94 KB
/usr/share/doc/flocq/html/Flocq.Core.FTZ.html
28.09 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Core.vo
29.41 KB
/usr/share/doc/flocq/html/Flocq.Calc.Plus.html
32.95 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Defs.vo
34.73 KB
/usr/share/doc/flocq/html/Flocq.Calc.Div.html
34.74 KB
/usr/share/doc/flocq/html/Flocq.Core.Round_NE.html
35.65 KB
/usr/share/doc/flocq/html/Flocq.Calc.Operations.html
36.27 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Copy.vo
37.26 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FIX.vo
37.46 KB
/usr/share/doc/flocq/html/Flocq.Core.Defs.html
37.51 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Sterbenz.vo
43.04 KB
/usr/share/doc/flocq/html/Flocq.Core.FLX.html
43.12 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Operations.vo
44.34 KB
/usr/share/doc/flocq/html/Flocq.Prop.Mult_error.html
44.51 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Sqrt.vo
51.45 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Plus.vo
52.21 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Div.vo
53.90 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/Prop/Mult_error.vo
62.62 KB
/usr/share/doc/flocq/html/Flocq.Core.FLT.html
67.35 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLX.vo
67.50 KB
/usr/share/doc/flocq/html/Flocq.IEEE754.PrimFloat.html
74.08 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_NE.vo
76.11 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.vo
77.77 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLT.vo
82.10 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.vo
83.68 KB
Component of
1 through 4 of 4
Buildroot
Created
State
f41-build-821301-152509
2024-07-25 11:01:38
f41-build-821260-152503
2024-07-25 10:47:14
f40-build-801982-143880
2024-04-11 08:12:58
f40-build-797900-141532
2024-03-26 15:56:26
Copyright © 2006-2016 Red Hat, Inc.