diff options
| author | wiz <wiz@pkgsrc.org> | 2021-04-25 06:36:52 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2021-04-25 06:36:52 +0000 |
| commit | 4994df736bb30daedd5ae6ee67ec9cb7dfee5a18 (patch) | |
| tree | 9c7127fe0a18d0bb261071d5a88b433d22108d5a /math/otter | |
| parent | 77339bfd232400abdba96e1765068ac4b322287d (diff) | |
| download | pkgsrc-4994df736bb30daedd5ae6ee67ec9cb7dfee5a18.tar.gz | |
otter: update links
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 |