|
|
|
@ -2,11 +2,11 @@ |
|
|
|
|
, pkgconfig, gtkmm, libxml2 }: |
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec { |
|
|
|
|
name = "gparted-0.19.1"; |
|
|
|
|
name = "gparted-0.21.0"; |
|
|
|
|
|
|
|
|
|
src = fetchurl { |
|
|
|
|
url = "mirror://sourceforge/gparted/${name}.tar.bz2"; |
|
|
|
|
sha256 = "1x0mbks94jpzphb8hm8w0iqjrn665jkdm4qnzrvxrnvy0x3m2fwd"; |
|
|
|
|
sha256 = "1ab56pplnlnqnhvvgfx1s47g9iz78sb048xlwv7v7hzzx16c73rr"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
configureFlags = "--disable-doc"; |
|
|
|
@ -17,10 +17,16 @@ stdenv.mkDerivation rec { |
|
|
|
|
|
|
|
|
|
preFixup = "rm $out/share/icons/hicolor/icon-theme.cache"; |
|
|
|
|
|
|
|
|
|
meta = { |
|
|
|
|
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 = stdenv.lib.licenses.gpl2; |
|
|
|
|
platforms = with stdenv.lib.platforms; linux; |
|
|
|
|
license = with licenses; gpl2Plus; |
|
|
|
|
platforms = with platforms; linux; |
|
|
|
|
maintainers = with maintainers; [ nckx ]; |
|
|
|
|
}; |
|
|
|
|
} |
|
|
|
|