Attachment 176802 Details for Bug 210018 – fix fetching lang/maude

[patch] fix fetching lang/maude

maude.diff (text/plain), 1.57 KB, created by Rene Ladan on 2016-11-08 21:55:07 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Rene Ladan

Created: 2016-11-08 21:55:07 UTC

Size: 1.57 KB

patch

obsolete

>Index: lang/maude/Makefile
>===================================================================
>--- lang/maude/Makefile	(revision 425768)
>+++ lang/maude/Makefile	(working copy)
>@@ -5,16 +5,12 @@
> PORTVERSION=	2.6
> PORTREVISION=	1
> CATEGORIES=	lang
>-MASTER_SITES=	http://maude.cs.uiuc.edu/versions/${PORTVERSION}/
>+MASTER_SITES=	http://maude.cs.illinois.edu/versions/${PORTVERSION}/
> DISTNAME=	Maude-${PORTVERSION}
> 
> MAINTAINER=	ports@FreeBSD.org
> COMMENT=	High-performance reflective language
> 
>-BROKEN=		unfetchable
>-DEPRECATED=	Broken for more than 6 months
>-EXPIRATION_DATE=	2016-07-04
>-
> LICENSE=	GPLv2
> LICENSE_FILE=	${WRKSRC}/COPYING
> 
>@@ -47,7 +43,7 @@
> 
> .if ${PORT_OPTIONS:MFULL_MAUDE}
> MASTER_SITES+=	http://maude.lcc.uma.es/FullMaude/FM${FULL_MAUDE_VER}/:fm
>-FULL_MAUDE=	full-maude${FULL_MAUDE_VER}.maude
>+FULL_MAUDE=	full-maude.maude
> FULL_MAUDE_DIST=	${FULL_MAUDE}.zip
> DISTFILES=	${DISTNAME}${EXTRACT_SUFX} ${FULL_MAUDE_DIST}:fm
> EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}
>Index: lang/maude/distinfo
>===================================================================
>--- lang/maude/distinfo	(revision 425768)
>+++ lang/maude/distinfo	(working copy)
>@@ -1,4 +1,5 @@
>+TIMESTAMP = 1478641858
> SHA256 (Maude-2.6.tar.gz) = a5ba79bf3d30565c874e80b3531b51a7e835b600e86cac82508a6eb9e15f4aa0
> SIZE (Maude-2.6.tar.gz) = 1600026
>-SHA256 (full-maude26b.maude.zip) = 57ebfc41056b7afc2be48983f6a1311e817d23eeaaed71023471bc4edaf6b128
>-SIZE (full-maude26b.maude.zip) = 154881
>+SHA256 (full-maude.maude.zip) = 57ebfc41056b7afc2be48983f6a1311e817d23eeaaed71023471bc4edaf6b128
>+SIZE (full-maude.maude.zip) = 154881

Actions: View | Diff

Attachments on bug 210018: 171001 | 171002 | 176802