diff options
Diffstat (limited to 'lang/twelf/Makefile')
-rw-r--r-- | lang/twelf/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index c249a65c530..fa51c4edba0 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.22 2012/10/02 20:11:56 asau Exp $ +# $NetBSD: Makefile,v 1.23 2013/02/17 19:18:05 dholland Exp $ # DISTNAME= twelf-1-4 PKGNAME= ${EMACS_PKGNAME_PREFIX}twelf-1.4 -PKGREVISION= 1 +PKGREVISION= 2 CATEGORIES= lang MASTER_SITES= http://www.cs.cmu.edu/~twelf/dist/ |