[Bug 719152] New: Review Request: gappalib-coq - Coq support library for gappa

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.

Summary: Review Request: gappalib-coq - Coq support library for gappa

https://bugzilla.redhat.com/show_bug.cgi?id=719152

           Summary: Review Request: gappalib-coq - Coq support library for
                    gappa
           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/gappalib-coq/gappalib-coq.spec
SRPM URL:
http://jjames.fedorapeople.org/gappalib-coq/gappalib-coq-0.16.0-1.fc15.src.rpm
Description: This support library provides vernacular files so that the
certificates Gappa generates can be imported by the Coq proof assistant.  It
also provides a "gappa" tactic that calls Gappa on the current Coq goal.

Gappa (Génération Automatique de Preuves de Propriétés Arithmétiques --
automatic proof generation of arithmetic properties) is a tool intended to help
verifying and formally proving properties on numerical programs dealing with
floating-point or fixed-point arithmetic.

This package is needed to enable optional functionality in the gappa package.

-- 
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.