diff options
Diffstat (limited to 'math/otter/Makefile')
-rw-r--r-- | math/otter/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/otter/Makefile b/math/otter/Makefile index 55b7f33fe3d..88bcf520ffb 100644 --- a/math/otter/Makefile +++ b/math/otter/Makefile @@ -1,11 +1,11 @@ -# $NetBSD: Makefile,v 1.13 2006/03/04 21:30:04 jlam Exp $ +# $NetBSD: Makefile,v 1.14 2006/10/04 21:47:58 wiz Exp $ DISTNAME= otter-3.0.6 CATEGORIES= math MASTER_SITES= ftp://info.mcs.anl.gov/pub/Otter/ MAINTAINER= pkgsrc-users@NetBSD.org -HOMEPAGE= http://www.mcs.anl.gov/AR/otter/ +HOMEPAGE= http://www-unix.mcs.anl.gov/AR/otter/ COMMENT= Automated Deduction System BUILD_TARGET= otter |