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:12:24 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
<<<
51 through 90 of 90
Name
Size
/usr/share/doc/flocq/html/Flocq.Pff.Pff2FlocqAux.html
90.43 KB
/usr/share/doc/flocq/html/Flocq.Core.Float_prop.html
91.35 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Bracket.vo
92.48 KB
/usr/share/doc/flocq/html/Flocq.Prop.Div_sqrt_error.html
94.38 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Zaux.vo
95.46 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.vo
95.71 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Relative.vo
107.53 KB
/usr/share/doc/flocq/html/Flocq.Prop.Plus_error.html
108.29 KB
/usr/share/doc/flocq/html/Flocq.IEEE754.Int63Copy.html
108.68 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Digits.vo
110.46 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.vo
115.55 KB
/usr/share/doc/flocq/html/Flocq.Prop.Round_odd.html
116.68 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_pred.vo
119.23 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.vo
122.27 KB
/usr/share/doc/flocq/html/Flocq.IEEE754.Bits.html
134.17 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Round.vo
136.14 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Div_sqrt_error.vo
139.94 KB
/usr/share/doc/flocq/html/Flocq.Calc.Bracket.html
140.93 KB
/usr/share/doc/flocq/html/Flocq.Core.Digits.html
154.58 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Raux.vo
175.25 KB
/usr/share/doc/flocq/html/Flocq.Core.Zaux.html
178.49 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.vo
186.02 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Ulp.vo
219.77 KB
/usr/share/doc/flocq/html/Flocq.Prop.Relative.html
221.73 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.vo
226.48 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2Flocq.vo
226.85 KB
/usr/share/doc/flocq/html/Flocq.Core.Round_pred.html
229.29 KB
/usr/share/doc/flocq/html/Flocq.Calc.Round.html
257.11 KB
/usr/share/doc/flocq/html/Flocq.Pff.Pff2Flocq.html
262.75 KB
/usr/share/doc/flocq/html/Flocq.Core.Ulp.html
269.56 KB
/usr/share/doc/flocq/html/Flocq.Core.Generic_fmt.html
292.33 KB
/usr/share/doc/flocq/html/Flocq.Core.Raux.html
320.06 KB
/usr/share/doc/flocq/html/Flocq.IEEE754.Binary.html
357.94 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Double_rounding.vo
532.02 KB
/usr/share/doc/flocq/html/Flocq.IEEE754.BinarySingleNaN.html
581.88 KB
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.vo
600.69 KB
/usr/share/doc/flocq/html/Flocq.Prop.Double_rounding.html
741.30 KB
/usr/share/doc/flocq/html/index.html
1.43 MB
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff.vo
3.02 MB
/usr/share/doc/flocq/html/Flocq.Pff.Pff.html
3.49 MB
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.