aboutsummaryrefslogtreecommitdiffstats
path: root/lang/twelf
diff options
context:
space:
mode:
authormakc <makc@FreeBSD.org>2011-05-02 20:44:53 +0800
committermakc <makc@FreeBSD.org>2011-05-02 20:44:53 +0800
commitd18d6b4f468181aa9b5972f89fc86acac6971505 (patch)
treefd2df00685187715a2aa5848e5a5f080cbb36854 /lang/twelf
parent0b64cc46fcb88742b587914544bbd88f7a415203 (diff)
downloadfreebsd-ports-gnome-d18d6b4f468181aa9b5972f89fc86acac6971505.tar.gz
freebsd-ports-gnome-d18d6b4f468181aa9b5972f89fc86acac6971505.tar.zst
freebsd-ports-gnome-d18d6b4f468181aa9b5972f89fc86acac6971505.zip
Bump PORTREVISION after open-mofit update
Diffstat (limited to 'lang/twelf')
-rw-r--r--lang/twelf/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile
index 886cc3c8598b..5ee81aa3d5ad 100644
--- a/lang/twelf/Makefile
+++ b/lang/twelf/Makefile
@@ -7,7 +7,7 @@
PORTNAME= twelf
PORTVERSION= 1.5R1
-PORTREVISION= 3
+PORTREVISION= 4
CATEGORIES= lang
MASTER_SITES= http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/
DISTNAME= twelf-1-5R1