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(a)redhat.com
ReportedBy: bagnara(a)cs.unipr.it
QAContact: extras-qa(a)fedoraproject.org
CC: gemi(a)bluewin.ch, rjones(a)redhat.com,
fedora-ocaml-list(a)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.