https://bugzilla.redhat.com/show_bug.cgi?id=872020 Bug ID: 872020 QA Contact: extras-qa@xxxxxxxxxxxxxxxxx Severity: medium Version: rawhide Priority: medium CC: notting@xxxxxxxxxx, package-review@xxxxxxxxxxxxxxxxxxxxxxx Assignee: nobody@xxxxxxxxxxxxxxxxx Summary: Review Request: ocaml-tplib - Tropical Polyhedra Library Regression: --- Story Points: --- Classification: Fedora OS: Linux Reporter: loganjerry@xxxxxxxxx Type: --- Documentation: --- Hardware: All Mount Type: --- Status: NEW Component: Package Review Product: Fedora Spec URL: http://jjames.fedorapeople.org/ocaml-tplib/ocaml-tplib.spec SRPM URL: http://jjames.fedorapeople.org/ocaml-tplib/ocaml-tplib-1.2-1.fc19.src.rpm Description: TPLib computes a description by means of vertices and rays of tropical polyhedra defined by means of inequalities, and conversely. It also provides a numerical abstract domain based on tropical polyhedra, in order to infer min-/max- invariants over programs. Fedora Account System Username: jjames -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review