Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Mon, 30 Sep 2024 18:02:07 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/share/licenses/flocq/COPYING
7.47 KB
/usr/share/licenses/flocq
0.00 B
/usr/share/doc/flocq/html/toc.html
7.15 KB
/usr/share/doc/flocq/html/index.html
1.43 MB
/usr/share/doc/flocq/html/coqdoc.css
6.00 KB
/usr/share/doc/flocq/html/Flocq.Version.html
7.17 KB
/usr/share/doc/flocq/html/Flocq.Prop.Sterbenz.html
17.88 KB
/usr/share/doc/flocq/html/Flocq.Prop.Round_odd.html
116.68 KB
/usr/share/doc/flocq/html/Flocq.Prop.Relative.html
221.73 KB
/usr/share/doc/flocq/html/Flocq.Prop.Plus_error.html
108.29 KB
/usr/share/doc/flocq/html/Flocq.Prop.Mult_error.html
44.51 KB
/usr/share/doc/flocq/html/Flocq.Prop.Double_rounding.html
741.30 KB
/usr/share/doc/flocq/html/Flocq.Prop.Div_sqrt_error.html
94.38 KB
/usr/share/doc/flocq/html/Flocq.Pff.Pff2FlocqAux.html
90.43 KB
/usr/share/doc/flocq/html/Flocq.Pff.Pff2Flocq.html
262.75 KB
/usr/share/doc/flocq/html/Flocq.Pff.Pff.html
3.49 MB
/usr/share/doc/flocq/html/Flocq.IEEE754.PrimFloat.html
74.08 KB
/usr/share/doc/flocq/html/Flocq.IEEE754.Int63Copy.html
108.68 KB
/usr/share/doc/flocq/html/Flocq.IEEE754.Int63Compat.html
947.00 B
/usr/share/doc/flocq/html/Flocq.IEEE754.Bits.html
134.17 KB
/usr/share/doc/flocq/html/Flocq.IEEE754.BinarySingleNaN.html
581.88 KB
/usr/share/doc/flocq/html/Flocq.IEEE754.Binary.html
357.94 KB
/usr/share/doc/flocq/html/Flocq.Core.Zaux.html
178.49 KB
/usr/share/doc/flocq/html/Flocq.Core.Ulp.html
269.56 KB
/usr/share/doc/flocq/html/Flocq.Core.Round_pred.html
229.29 KB
/usr/share/doc/flocq/html/Flocq.Core.Round_NE.html
35.65 KB
/usr/share/doc/flocq/html/Flocq.Core.Raux.html
320.06 KB
/usr/share/doc/flocq/html/Flocq.Core.Generic_fmt.html
292.33 KB
/usr/share/doc/flocq/html/Flocq.Core.Float_prop.html
91.35 KB
/usr/share/doc/flocq/html/Flocq.Core.FTZ.html
28.09 KB
/usr/share/doc/flocq/html/Flocq.Core.FLX.html
43.12 KB
/usr/share/doc/flocq/html/Flocq.Core.FLT.html
67.35 KB
/usr/share/doc/flocq/html/Flocq.Core.FIX.html
13.77 KB
/usr/share/doc/flocq/html/Flocq.Core.Digits.html
154.58 KB
/usr/share/doc/flocq/html/Flocq.Core.Defs.html
37.51 KB
/usr/share/doc/flocq/html/Flocq.Core.Core.html
2.80 KB
/usr/share/doc/flocq/html/Flocq.Calc.Sqrt.html
25.94 KB
/usr/share/doc/flocq/html/Flocq.Calc.Round.html
257.11 KB
/usr/share/doc/flocq/html/Flocq.Calc.Plus.html
32.95 KB
/usr/share/doc/flocq/html/Flocq.Calc.Operations.html
36.27 KB
/usr/share/doc/flocq/html/Flocq.Calc.Div.html
34.74 KB
/usr/share/doc/flocq/html/Flocq.Calc.Bracket.html
140.93 KB
/usr/share/doc/flocq/html
0.00 B
/usr/share/doc/flocq/README.md
722.00 B
/usr/share/doc/flocq/NEWS.md
13.21 KB
/usr/share/doc/flocq/AUTHORS
88.00 B
/usr/share/doc/flocq
0.00 B
/usr/lib64/ocaml/coq/user-contrib/Flocq/Version.vo
14.00 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Sterbenz.vo
43.04 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.vo
122.27 KB
Component of
1 through 4 of 4
Buildroot
Created
State
f40-build-797900-141532
2024-03-26 15:56:26
f40-build-801982-143880
2024-04-11 08:12:58
f41-build-821260-152503
2024-07-25 10:47:14
f41-build-821301-152509
2024-07-25 11:01:38
Copyright © 2006-2016 Red Hat, Inc.