OCamlPro/opam-repository — pull request #462 by nhojem (2013-02-26 14:09:31+00:00)
Title: Add tplib.1.3

First package of TPLib (library implementing algorithms to manipulate tropical polyhedra).