diff options
Diffstat (limited to 'math/otter/Makefile')
| -rw-r--r-- | math/otter/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/math/otter/Makefile b/math/otter/Makefile index 309fa0d7d2b..d90323a2a8f 100644 --- a/math/otter/Makefile +++ b/math/otter/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.1.1.1 2000/11/25 18:19:19 jtb Exp $ +# $NetBSD: Makefile,v 1.2 2001/02/17 18:22:33 wiz Exp $ DISTNAME= otter-3.0.6 CATEGORIES= math @@ -6,6 +6,7 @@ MASTER_SITES= ftp://info.mcs.anl.gov/pub/Otter/ MAINTAINER= jtb@netbsd.org HOMEPAGE= http://www.mcs.anl.gov/AR/otter/ +COMMENT= theorem-proving program WRKSRC= ${WRKDIR}/${PKGNAME}/source |