summaryrefslogtreecommitdiff
path: root/math/ocaml-ocplib-simplex (follow)
Commit message (Expand)AuthorAgeFilesLines
* Mk/**ocaml.mk: Convert remaining bsd.ocaml.mk to Uses/ocaml.mkMuhammad Moinur Rahman2024-12-311-1/+0
* devel/ocaml-sexplib0: Bump revisions after dependency updateGuido Falsi2024-10-151-0/+1
* math/alt-ergo: Update to 2.5.4, many new portsBenjamin Jacobs2024-10-084-0/+115