{ stdenv, fetchurl, parted, gtk, glib, intltool, gettext, libuuid , pkgconfig, gtkmm, libxml2 }: stdenv.mkDerivation rec { name = "gparted-0.22.0"; src = fetchurl { sha256 = "09vg5lxvh81x54ps5ayfjd4jl84wprn42i1wifnfmj44dqd5wxda"; url = "mirror://sourceforge/gparted/${name}.tar.bz2"; }; configureFlags = "--disable-doc"; buildInputs = [ parted gtk glib intltool gettext libuuid pkgconfig gtkmm libxml2 ]; meta = with stdenv.lib; { description = "Graphical disk partitioning tool"; longDescription = '' GNOME Partition Editor for creating, reorganizing, and deleting disk partitions. GParted enables you to change the partition organization while preserving the partition contents. ''; homepage = http://gparted.sourceforge.net; license = with licenses; gpl2Plus; platforms = with platforms; linux; maintainers = with maintainers; [ nckx ]; }; }