Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Sat, 30 Nov 2024 10:06:34 UTC |
login
Information for RPM
flocq-4.2.0-2.fc41.src.rpm
ID
1363272
Name
flocq
Version
4.2.0
Release
2.fc41
Epoch
Arch
src
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 10:59:01 GMT
Size
444.25 KB
SIGMD5
911492100f53956254575e8629af699c
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-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
Size
flocq-4.2.0.tar.gz
413.76 KB
flocq.spec
16.69 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.