diff options
author | rene <rene@FreeBSD.org> | 2016-11-09 06:16:43 +0800 |
---|---|---|
committer | rene <rene@FreeBSD.org> | 2016-11-09 06:16:43 +0800 |
commit | ca6d146b8bafc1fd7f111bb2be5485d79befce3e (patch) | |
tree | cb7dbb9bf6c1daeb514bf8e6fc7d3c7877e8c1be /lang | |
parent | e95c8ffac7c0ade065ac1cd9e65eabbbb3a2ad1a (diff) | |
download | freebsd-ports-gnome-ca6d146b8bafc1fd7f111bb2be5485d79befce3e.tar.gz freebsd-ports-gnome-ca6d146b8bafc1fd7f111bb2be5485d79befce3e.tar.zst freebsd-ports-gnome-ca6d146b8bafc1fd7f111bb2be5485d79befce3e.zip |
lang/maude: fix fetching and unexpire
The MASTER_SITES was changed and so was the name of one distfile, the
contents remained the same.
PR: 210018
Submitted by: Keith Gaughan <k@stereochro.me>
MFH: 2016Q4
Diffstat (limited to 'lang')
-rw-r--r-- | lang/maude/Makefile | 8 | ||||
-rw-r--r-- | lang/maude/distinfo | 5 |
2 files changed, 5 insertions, 8 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index 0969d96f641e..4b4065d18fd4 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -5,16 +5,12 @@ PORTNAME= maude 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 @@ -48,7 +44,7 @@ EXTRA_PATCHES+= ${FILESDIR}/extra-patch-Mixfix-lexerAux .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_DIST= ${FULL_MAUDE}.zip +FULL_MAUDE_DIST= full-maude.maude.zip DISTFILES= ${DISTNAME}${EXTRACT_SUFX} ${FULL_MAUDE_DIST}:fm EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} EXTRACT_DEPENDS+= ${LOCALBASE}/bin/unzip:archivers/unzip diff --git a/lang/maude/distinfo b/lang/maude/distinfo index 6cb40b68d79d..03390fa2dc52 100644 --- a/lang/maude/distinfo +++ b/lang/maude/distinfo @@ -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 |