We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 837cd84 commit bcd3c3fCopy full SHA for bcd3c3f
1 file changed
lang/maude/Makefile
@@ -1,14 +1,14 @@
1
-# $NetBSD: Makefile,v 1.31 2023/12/17 14:10:03 nros Exp $
+# $NetBSD: Makefile,v 1.32 2026/01/09 07:41:27 wiz Exp $
2
3
DISTNAME= Maude-2.6
4
PKGNAME= maude-2.6
5
PKGREVISION= 1
6
CATEGORIES= lang
7
-MASTER_SITES= http://maude.cs.uiuc.edu/download/
8
-MASTER_SITES+= http://maude.cs.uiuc.edu/download/current/
+#MASTER_SITES= http://maude.cs.uiuc.edu/download/
+#MASTER_SITES+= http://maude.cs.uiuc.edu/download/current/
9
10
MAINTAINER= pkgsrc-users@NetBSD.org
11
-HOMEPAGE= http://maude.cs.uiuc.edu/
+HOMEPAGE= https://maude.cs.illinois.edu/
12
COMMENT= System for equational and rewriting logic specification/programming
13
LICENSE= gnu-gpl-v2
14
0 commit comments