Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Mk/**ocaml.mk: Convert remaining bsd.ocaml.mk to Uses/ocaml.mk | Muhammad Moinur Rahman | 2024-12-31 | 1 | -1/+0 |
* | devel/ocaml-sexplib0: Bump revisions after dependency update | Guido Falsi | 2024-10-15 | 1 | -0/+1 |
* | math/alt-ergo: Update to 2.5.4, many new ports | Benjamin Jacobs | 2024-10-08 | 4 | -0/+115 |