diff options
| -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 |