diff options
Diffstat (limited to 'lang/twelf')
| -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 f7836226ee4..c1b7bbee5e0 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -1,9 +1,9 @@ -# $NetBSD: Makefile,v 1.10 2005/08/28 04:25:30 uebayasi Exp $ +# $NetBSD: Makefile,v 1.11 2005/12/08 09:52:15 rillig Exp $ # DISTNAME= twelf-1-4 PKGNAME= ${EMACS_PKGNAME_PREFIX}${DISTNAME} -PKGREVISION= 1 +PKGREVISION= 2 CATEGORIES= lang MASTER_SITES= http://www.cs.cmu.edu/~twelf/dist/ |