[Bug 719150] New: Review Request: flocq - Formalization of floating point numbers for Coq
bugzilla at redhat.com
bugzilla at redhat.com
Tue Jul 5 21:47:25 UTC 2011
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: flocq - Formalization of floating point numbers for Coq
https://bugzilla.redhat.com/show_bug.cgi?id=719150
Summary: Review Request: flocq - Formalization of floating
point numbers for Coq
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody at fedoraproject.org
ReportedBy: loganjerry at gmail.com
QAContact: extras-qa at fedoraproject.org
CC: notting at redhat.com,
package-review at lists.fedoraproject.org
Classification: Fedora
Story Points: ---
Spec URL: http://jjames.fedorapeople.org/flocq/flocq.spec
SRPM URL: http://jjames.fedorapeople.org/flocq/flocq-1.4.0-1.fc15.src.rpm
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.
This package is needed to enable optional functionality in the why-coq and
gappa packages.
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
More information about the package-review
mailing list