diff options
| author | wiz <wiz> | 2001-02-17 17:52:59 +0000 |
|---|---|---|
| committer | wiz <wiz> | 2001-02-17 17:52:59 +0000 |
| commit | dc2ddaa8a58829b5661f6b43aabf133f78ab17ce (patch) | |
| tree | e8e4b7b8b0ed7b1c572a7cbbee24ea7aae33416e /math/otter/Makefile | |
| parent | ab333ab34b7be497ea3cb1ba4c8e4deb708b850c (diff) | |
| download | pkgsrc-dc2ddaa8a58829b5661f6b43aabf133f78ab17ce.tar.gz | |
Update to new COMMENT style: COMMENT var in Makefile instead of pkg/COMMENT.
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 |