Go to file
Jerry James 5f69608aae Rebuild for ocaml-zarith 1.9. 2019-09-06 09:13:06 -06:00
.gitignore New upstream release. 2013-02-19 14:41:53 -07:00
compute_ext_rays.1 New upstream release. 2013-02-19 14:41:53 -07:00
compute_ext_rays_polar.1 New upstream release. 2013-02-19 14:41:53 -07:00
compute_halfspaces.1 New upstream release. 2013-02-19 14:41:53 -07:00
compute_minimal_external_representations.1 New upstream release. 2013-02-19 14:41:53 -07:00
compute_tangent_hypergraph.1 New upstream release. 2013-02-19 14:41:53 -07:00
compute_tropical_complex.1 New upstream release. 2013-02-19 14:41:53 -07:00
ocaml-tplib-mlgmpidl.patch Build with the PIC version of libasmrun. Fix the mlgmpidl interface. 2017-12-03 21:26:00 -07:00
ocaml-tplib-ocamlbuild.patch Add -ocamlbuild patch to fix build with ocaml 4.02.0. 2014-09-19 15:16:15 -06:00
ocaml-tplib.spec Rebuild for ocaml-zarith 1.9. 2019-09-06 09:13:06 -06:00
sources New upstream release. 2013-02-19 14:41:53 -07:00