diff options
| author | Alexey Dokuchaev <danfe@FreeBSD.org> | 2005-11-16 14:36:48 +0000 |
|---|---|---|
| committer | Alexey Dokuchaev <danfe@FreeBSD.org> | 2005-11-16 14:36:48 +0000 |
| commit | dc8006404e3db61ca49fc681f757611ad8c36062 (patch) | |
| tree | b3c6cb663757bd8be1035e60d46f548c4f4a54b5 /x11-wm/wmii-devel | |
| parent | 83f81e983b617396437986d816fdb5dacb8a961a (diff) | |
| download | ports-dc8006404e3db61ca49fc681f757611ad8c36062.tar.gz ports-dc8006404e3db61ca49fc681f757611ad8c36062.zip | |
Notes
Diffstat (limited to 'x11-wm/wmii-devel')
| -rw-r--r-- | x11-wm/wmii-devel/Makefile | 3 | ||||
| -rw-r--r-- | x11-wm/wmii-devel/distinfo | 5 | ||||
| -rw-r--r-- | x11-wm/wmii-devel/pkg-descr | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/x11-wm/wmii-devel/Makefile b/x11-wm/wmii-devel/Makefile index e10d4ed50553..9c195faecf1b 100644 --- a/x11-wm/wmii-devel/Makefile +++ b/x11-wm/wmii-devel/Makefile @@ -9,12 +9,11 @@ PORTNAME= wmii DISTVERSION= 2 PORTREVISION= 1 CATEGORIES= x11-wm -MASTER_SITES= http://wmi.modprobe.de/download/ +MASTER_SITES= http://wmii.de/download/ MAINTAINER= danfe@FreeBSD.org COMMENT= The next generation of WMI window manager -USE_BZIP2= yes USE_REINPLACE= yes USE_X_PREFIX= yes diff --git a/x11-wm/wmii-devel/distinfo b/x11-wm/wmii-devel/distinfo index ca0db0bebb76..c6e5d591c09b 100644 --- a/x11-wm/wmii-devel/distinfo +++ b/x11-wm/wmii-devel/distinfo @@ -1,2 +1,3 @@ -MD5 (wmii-2.tar.bz2) = de5e7838d76c4d52d49a223c6ecf4243 -SIZE (wmii-2.tar.bz2) = 67004 +MD5 (wmii-2.tar.gz) = e03379bb991260f11aab7f7c4d761dd3 +SHA256 (wmii-2.tar.gz) = c8c0b9dca00be16b83d8494559fe605f1ad0570e10158bd59cabc76261ff9d56 +SIZE (wmii-2.tar.gz) = 85475 diff --git a/x11-wm/wmii-devel/pkg-descr b/x11-wm/wmii-devel/pkg-descr index 40d54c1e0a52..a35dc8fa6894 100644 --- a/x11-wm/wmii-devel/pkg-descr +++ b/x11-wm/wmii-devel/pkg-descr @@ -11,4 +11,4 @@ from the Plan 9 operating system. It achieves following goals: * Improved configuration and IPC interface (Libixp) * Modularized components -WWW: http://wmi.modprobe.de/ +WWW: http://wmii.de/ |