| 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/+216 |
