pyrox.dev
1{ stdenv, fetchurl, parted, gtk, glib, intltool, gettext, libuuid
2, pkgconfig, gtkmm, libxml2, hicolor_icon_theme
3}:
4
5stdenv.mkDerivation rec {
6 name = "gparted-0.23.0";
7
8 src = fetchurl {
9 sha256 = "0m57bni3nkbbqq920ydzvasy2qc5j6w6bdssyn12jk4157gxvlbz";
10 url = "mirror://sourceforge/gparted/${name}.tar.bz2";
11 };
12
13 configureFlags = "--disable-doc";
14
15 buildInputs = [ parted gtk glib libuuid gtkmm libxml2 hicolor_icon_theme ];
16 nativeBuildInputs = [ intltool gettext pkgconfig ];
17
18 meta = with stdenv.lib; {
19 description = "Graphical disk partitioning tool";
20 longDescription = ''
21 GNOME Partition Editor for creating, reorganizing, and deleting disk
22 partitions. GParted enables you to change the partition organization
23 while preserving the partition contents.
24 '';
25 homepage = http://gparted.org;
26 license = licenses.gpl2Plus;
27 platforms = platforms.linux;
28 maintainers = with maintainers; [ nckx ];
29 };
30}