From 21c8c41b3935dac375af7c65b62d8b8700f47733 Mon Sep 17 00:00:00 2001 From: Jeremy Lea Date: Thu, 5 Oct 2000 06:12:33 +0000 Subject: [PATCH] Update to 0.5.11 since 0.5.10 is no longer fetchable. --- editors/dedit/Makefile | 2 +- editors/dedit/distinfo | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/editors/dedit/Makefile b/editors/dedit/Makefile index a90620370048..e596049c4c1e 100644 --- a/editors/dedit/Makefile +++ b/editors/dedit/Makefile @@ -6,7 +6,7 @@ # PORTNAME= dedit -PORTVERSION= 0.5.10 +PORTVERSION= 0.5.11 CATEGORIES= editors gnome MASTER_SITES= ftp://ftp.debian.org/debian/dists/unstable/main/source/editors/ DISTNAME= ${PORTNAME}_${PORTVERSION} diff --git a/editors/dedit/distinfo b/editors/dedit/distinfo index c4d6be07487f..7461c6ac9d53 100644 --- a/editors/dedit/distinfo +++ b/editors/dedit/distinfo @@ -1 +1 @@ -MD5 (dedit_0.5.10.tar.gz) = abd114de310a3e8f8012cec614709b0e +MD5 (dedit_0.5.11.tar.gz) = 095b4fddac8d9a330c6c708e1fa0c508