diff options
| author | steve <steve@FreeBSD.org> | 1999-03-25 01:49:46 +0800 |
|---|---|---|
| committer | steve <steve@FreeBSD.org> | 1999-03-25 01:49:46 +0800 |
| commit | dbe345c256f5a54277b1c9f6f3b55a8f38fed2be (patch) | |
| tree | d7f6c1916a422f6fe2a0df050ea667738607a8d6 /lang/ocaml | |
| parent | 4b253a25fb31f1ff83e419c330927787f1447177 (diff) | |
| download | freebsd-ports-gnome-dbe345c256f5a54277b1c9f6f3b55a8f38fed2be.tar.gz freebsd-ports-gnome-dbe345c256f5a54277b1c9f6f3b55a8f38fed2be.tar.zst freebsd-ports-gnome-dbe345c256f5a54277b1c9f6f3b55a8f38fed2be.zip | |
Put this port's distfile up on my webpage until the MASTER_SITE is
resurrected by the maintainer.
PR: 10713
Diffstat (limited to 'lang/ocaml')
0 files changed, 0 insertions, 0 deletions