https://bugzilla.redhat.com/show_bug.cgi?id=872020
Bug ID: 872020
QA Contact: extras...@fedoraproject.org
Severity: medium
Version: rawhide
Priority: medium
CC: nott...@redhat.com,
package-review@lists.fedoraproject.org
Assignee: nob...@fedoraproject.org
Summary: Review Request: ocaml-tplib - Tropical Polyhedra
Library
Regression: ---
Story Points: ---
Classification: Fedora
OS: Linux
Reporter: loganje...@gmail.com
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@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/package-review
