diff options
Diffstat (limited to 'math/otter')
| -rw-r--r-- | math/otter/Makefile | 3 | ||||
| -rw-r--r-- | math/otter/pkg/COMMENT | 1 |
2 files changed, 2 insertions, 2 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 diff --git a/math/otter/pkg/COMMENT b/math/otter/pkg/COMMENT deleted file mode 100644 index b62c48542e6..00000000000 --- a/math/otter/pkg/COMMENT +++ /dev/null @@ -1 +0,0 @@ -Otter is a theorem-proving program |