06e1a41b86
Upstream dropped MLGMPIDL support in favor of MLGMP, which we don't ship. |
||
---|---|---|
.gitignore | ||
compute_ext_rays_polar.1 | ||
compute_ext_rays.1 | ||
compute_halfspaces.1 | ||
compute_minimal_external_representations.1 | ||
compute_tangent_hypergraph.1 | ||
compute_tropical_complex.1 | ||
ocaml-tplib-gmp.patch | ||
ocaml-tplib.spec | ||
sources |