diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-04-28 18:00:55 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-04-28 18:00:55 +0000 |
| commit | 72124020da368b6e2364d5208d11a8393e3fc9fe (patch) | |
| tree | fc62db07e92beba35627403c70937a77e7d83190 /lang/ocaml-examples/(public-mirror) | |
| parent | 7e07f80bfbb6fd992cb73613ef547a7e97ba75a8 (diff) | |
| download | ports-main.tar.gz ports-main.zip | |
It was usable with math/lean, but now math/lean4 has superseded
math/lean and should be used instead.
Diffstat (limited to 'lang/ocaml-examples/(public-mirror)')
0 files changed, 0 insertions, 0 deletions