blob: df805c106981b9d96f1862b78d22f398f487cd44 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
args: with args;
stdenv.mkDerivation {
name = "gparted-0.5.1";
src = fetchurl {
url = mirror://sourceforge/gparted/gparted-0.5.1/gparted-0.5.1.tar.bz2;
sha256 = "1mqi1hxv6bahp771bqld0a6wx7khdxvz353n47q1wmqykmn4wbp0";
};
configureFlags = "--disable-doc";
buildInputs = [parted gtk glib intltool gettext libuuid pkgconfig
gtkmm gnomedocutils libxml2];
meta = {
description = "gui partition tool";
homepage = http://gparted.sourceforge.net;
license = "GPLv2";
};
}
|