diff options
Diffstat (limited to 'lang/moscow_ml')
| -rw-r--r-- | lang/moscow_ml/Makefile | 1 | ||||
| -rw-r--r-- | lang/moscow_ml/pkg-comment | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/lang/moscow_ml/Makefile b/lang/moscow_ml/Makefile index 3323d7827bdf..e701cd5c0437 100644 --- a/lang/moscow_ml/Makefile +++ b/lang/moscow_ml/Makefile @@ -14,6 +14,7 @@ MASTER_SITES= ftp://ftp.dina.kvl.dk/pub/mosml/ \ DISTNAME= mos20src MAINTAINER= chuckr@freefall.FreeBSD.org +COMMENT= Moscow ML, a lightweight implementation of Standard ML LIB_DEPENDS= gmp.6:${PORTSDIR}/math/libgmp4 diff --git a/lang/moscow_ml/pkg-comment b/lang/moscow_ml/pkg-comment deleted file mode 100644 index 1e31abc9c861..000000000000 --- a/lang/moscow_ml/pkg-comment +++ /dev/null @@ -1 +0,0 @@ -Moscow ML, a lightweight implementation of Standard ML |