diff options
author | mharo <mharo@FreeBSD.org> | 2001-03-30 06:19:08 +0800 |
---|---|---|
committer | mharo <mharo@FreeBSD.org> | 2001-03-30 06:19:08 +0800 |
commit | 0e4ebde45d9ac1ec4fcf15258d6557adc6024a04 (patch) | |
tree | 650f30abcb384550e55d7209210d56cae28e9e44 /editors/muggy | |
parent | 6ff0682ed9695ed4ec1b52c383316ab134148f18 (diff) | |
download | freebsd-ports-gnome-0e4ebde45d9ac1ec4fcf15258d6557adc6024a04.tar.gz freebsd-ports-gnome-0e4ebde45d9ac1ec4fcf15258d6557adc6024a04.tar.zst freebsd-ports-gnome-0e4ebde45d9ac1ec4fcf15258d6557adc6024a04.zip |
Port editors/muggy has unfetchable distfile. Patch updates to version
1.3.1.
PR: 23923
Submitted by: George Reid <greid@ukug.uk.freebsd.org>
Diffstat (limited to 'editors/muggy')
-rw-r--r-- | editors/muggy/Makefile | 4 | ||||
-rw-r--r-- | editors/muggy/distinfo | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/editors/muggy/Makefile b/editors/muggy/Makefile index 9f95ad41487a..37a3ab91449b 100644 --- a/editors/muggy/Makefile +++ b/editors/muggy/Makefile @@ -6,10 +6,10 @@ # PORTNAME= muggy -PORTVERSION= 1.2b +PORTVERSION= 1.3.1 CATEGORIES+= editors windowmaker tkstep80 -MASTER_SITES= http://www.aaa-int.or.jp/~jfactory/JDE/dist/ +MASTER_SITES= http://www.aaa-int.or.jp/~jfactory/Factory/JDE/dist/ DISTNAME= Muggy-${PORTVERSION} MAINTAINER= kiri@pis.toba-cmt.ac.jp diff --git a/editors/muggy/distinfo b/editors/muggy/distinfo index d50bcae3e4b9..b4aba095fa22 100644 --- a/editors/muggy/distinfo +++ b/editors/muggy/distinfo @@ -1 +1 @@ -MD5 (Muggy-1.2b.tar.gz) = 7883f61b1d9ea20f24961dcae95a537c +MD5 (Muggy-1.3.1.tar.gz) = 610cbf62496417333380c6e951f9af2f |