diff options
Diffstat (limited to 'math/otter')
| -rw-r--r-- | math/otter/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/otter/Makefile b/math/otter/Makefile index bc589a57752..21c8472995a 100644 --- a/math/otter/Makefile +++ b/math/otter/Makefile @@ -1,11 +1,11 @@ -# $NetBSD: Makefile,v 1.16 2012/09/11 23:04:25 asau Exp $ +# $NetBSD: Makefile,v 1.17 2021/04/25 06:36:52 wiz Exp $ DISTNAME= otter-3.0.6 CATEGORIES= math -MASTER_SITES= ftp://info.mcs.anl.gov/pub/Otter/ +MASTER_SITES= https://www.cs.unm.edu/~mccune/otter/ MAINTAINER= pkgsrc-users@NetBSD.org -HOMEPAGE= http://www-unix.mcs.anl.gov/AR/otter/ +HOMEPAGE= https://www.cs.unm.edu/~mccune/otter/ COMMENT= Automated Deduction System BUILD_TARGET= otter |