diff options
| author | Rene Ladan <rene@FreeBSD.org> | 2016-11-08 22:16:43 +0000 |
|---|---|---|
| committer | Rene Ladan <rene@FreeBSD.org> | 2016-11-08 22:16:43 +0000 |
| commit | f6e12a4d56527cc6fb428e8bb8c0dc11088cc304 (patch) | |
| tree | cb7dbb9bf6c1daeb514bf8e6fc7d3c7877e8c1be /lang/maude | |
| parent | 0d36c6f4c12236cf0ac3fc147167b86d79f34a39 (diff) | |
| download | ports-f6e12a4d56527cc6fb428e8bb8c0dc11088cc304.tar.gz ports-f6e12a4d56527cc6fb428e8bb8c0dc11088cc304.zip | |
Notes
Diffstat (limited to 'lang/maude')
| -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 |