[pkgsrc/trunk]: pkgsrc/math/otter otter: update links

[wiz <wiz%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/fc6ce99974c7
branches:  trunk
changeset: 451255:fc6ce99974c7
user:      wiz <wiz%pkgsrc.org@localhost>
date:      Sun Apr 25 06:36:52 2021 +0000

description:
otter: update links

diffstat:

 math/otter/Makefile |  6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diffs (18 lines):

diff -r eae9fe326fd1 -r fc6ce99974c7 math/otter/Makefile
--- a/math/otter/Makefile       Sun Apr 25 06:35:22 2021 +0000
+++ b/math/otter/Makefile       Sun Apr 25 06:36:52 2021 +0000
@@ -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