CVS commit: pkgsrc/math/otter

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Sun Apr 25 06:36:52 UTC 2021

Modified Files:
        pkgsrc/math/otter: Makefile

Log Message:
otter: update links


To generate a diff of this commit:
cvs rdiff -u -r1.16 -r1.17 pkgsrc/math/otter/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/math/otter/Makefile
diff -u pkgsrc/math/otter/Makefile:1.16 pkgsrc/math/otter/Makefile:1.17
--- pkgsrc/math/otter/Makefile:1.16     Tue Sep 11 23:04:25 2012
+++ pkgsrc/math/otter/Makefile  Sun Apr 25 06:36:52 2021
@@ -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@localhost
-HOMEPAGE=      http://www-unix.mcs.anl.gov/AR/otter/
+HOMEPAGE=      https://www.cs.unm.edu/~mccune/otter/
 COMMENT=       Automated Deduction System
 
 BUILD_TARGET=  otter