2018-09-29 20:46:37 +01:00
|
|
|
{ stdenv, fetchurl, pythonPackages }:
|
|
|
|
|
|
|
|
|
|
pythonPackages.buildPythonApplication rec {
|
2019-08-15 13:41:18 +01:00
|
|
|
pname = "menumaker";
|
2020-06-16 15:36:56 +01:00
|
|
|
version = "0.99.12";
|
2018-09-29 20:46:37 +01:00
|
|
|
|
|
|
|
|
src = fetchurl {
|
2019-08-15 13:41:18 +01:00
|
|
|
url = "mirror://sourceforge/menumaker/${pname}-${version}.tar.gz";
|
2020-06-16 15:36:56 +01:00
|
|
|
sha256 = "034v5204bsgkzzk6zfa5ia63q95gln47f7hwf96yvad5hrhmd8z3";
|
2018-09-29 20:46:37 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
format = "other";
|
|
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
|
description = "Heuristics-driven menu generator for several window managers";
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "http://menumaker.sourceforge.net";
|
2018-09-29 20:46:37 +01:00
|
|
|
license = licenses.bsd2;
|
|
|
|
|
platforms = platforms.unix;
|
|
|
|
|
maintainers = [ maintainers.romildo ];
|
|
|
|
|
};
|
|
|
|
|
}
|
