[Bug 481318] New: Missing package for MLGMP

[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: Missing package for MLGMP

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

           Summary: Missing package for MLGMP
           Product: Fedora
           Version: rawhide
          Platform: All
        OS/Version: Linux
            Status: NEW
          Severity: medium
          Priority: low
         Component: ocaml
        AssignedTo: rjones at redhat.com
        ReportedBy: bagnara at cs.unipr.it
         QAContact: extras-qa at fedoraproject.org
                CC: gemi at bluewin.ch, rjones at redhat.com,
                    fedora-ocaml-list at redhat.com
    Classification: Fedora


It would be nice to package MLGMP, an extended precision computation library in
OCaml (http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=278) based on GMP.

Debian has two packages for MLGMP named libgmp-ocaml and libgmp-ocaml-dev: I
tell you in case you want to check the packaging choices they have made (the
possible objective being to facilitate the life of application writers that
need to produce software working on both Debian and Fedora systems).

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