Fri, 08 Nov 2024 11:18:12 UTC | login

Information for RPM flocq-4.2.0-2.fc41.src.rpm

ID1363272
Nameflocq
Version4.2.0
Release2.fc41
Epoch
Archsrc
SummaryFormalization of floating point numbers for Coq
DescriptionFlocq (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 Time2024-07-25 10:59:01 GMT
Size444.25 KB
911492100f53956254575e8629af699c
LicenseLGPL-3.0-or-later
git:https://gitlab.inria.fr/flocq/flocq.git
Buildrootf41-build-821277-152509
Provides
flocq = 4.2.0-2.fc41
flocq-source = 4.2.0-2.fc41
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
autoconf
coq = 8.18.0
gcc-c++
ocaml
ocaml-findlib
remake
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 2 of 2
Name ascending sort Size
flocq-4.2.0.tar.gz413.76 KB
flocq.spec16.69 KB
Component of No Buildroots