aboutsummaryrefslogtreecommitdiffstats
path: root/lang/moscow_ml
diff options
context:
space:
mode:
authorale <ale@FreeBSD.org>2006-05-10 22:46:47 +0800
committerale <ale@FreeBSD.org>2006-05-10 22:46:47 +0800
commita9d37ca9ec71498a5826402e3ab63ed48c448da1 (patch)
treea872f7f5dad6b2911b6a2ff03ccc48962757a279 /lang/moscow_ml
parentaf806c34824bed7d96a2904d8c7a36813055da87 (diff)
downloadfreebsd-ports-graphics-a9d37ca9ec71498a5826402e3ab63ed48c448da1.tar.gz
freebsd-ports-graphics-a9d37ca9ec71498a5826402e3ab63ed48c448da1.tar.zst
freebsd-ports-graphics-a9d37ca9ec71498a5826402e3ab63ed48c448da1.zip
Chase gmp library and bump PORTREVISION.
Diffstat (limited to 'lang/moscow_ml')
-rw-r--r--lang/moscow_ml/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/moscow_ml/Makefile b/lang/moscow_ml/Makefile
index 6d6d65198cb..2575597ab6d 100644
--- a/lang/moscow_ml/Makefile
+++ b/lang/moscow_ml/Makefile
@@ -7,7 +7,7 @@
PORTNAME= moscow_ml
PORTVERSION= 2.01
-PORTREVISION= 1
+PORTREVISION= 2
CATEGORIES= lang
MASTER_SITES= http://www.dina.kvl.dk/~sestoft/mosml/
DISTNAME= mos201src
@@ -15,7 +15,7 @@ DISTNAME= mos201src
MAINTAINER= ports@FreeBSD.org
COMMENT= Moscow ML, a lightweight implementation of Standard ML
-LIB_DEPENDS= gmp.6:${PORTSDIR}/math/libgmp4 \
+LIB_DEPENDS= gmp.7:${PORTSDIR}/math/libgmp4 \
gdbm.3:${PORTSDIR}/databases/gdbm
RESTRICTED= Restrictions on for-profit distribution.