2015-05-31 15:13:18 +01:00
|
|
|
{ stdenv, fetchurl } :
|
2006-02-02 16:30:01 +00:00
|
|
|
|
2012-07-31 21:30:50 +01:00
|
|
|
stdenv.mkDerivation rec {
|
2016-05-15 12:16:27 +01:00
|
|
|
version = "4.2";
|
2015-09-25 14:40:28 +01:00
|
|
|
name = "joe-${version}";
|
2012-07-31 21:30:50 +01:00
|
|
|
|
2008-01-30 19:49:42 +00:00
|
|
|
src = fetchurl {
|
2012-07-31 21:30:50 +01:00
|
|
|
url = "mirror://sourceforge/joe-editor/${name}.tar.gz";
|
2016-05-15 12:16:27 +01:00
|
|
|
sha256 = "0x39x0qrwdbhl45wd8r8cpzigsip6m5j2crajsrbffk8qm5scpdw";
|
2008-01-30 19:49:42 +00:00
|
|
|
};
|
|
|
|
|
2015-05-31 15:13:18 +01:00
|
|
|
meta = with stdenv.lib; {
|
|
|
|
description = "A full featured terminal-based screen editor";
|
2008-01-30 19:49:42 +00:00
|
|
|
homepage = http://joe-editor.sourceforge.net;
|
2015-05-31 15:13:18 +01:00
|
|
|
license = licenses.gpl2;
|
2016-08-02 18:50:55 +01:00
|
|
|
platforms = platforms.unix;
|
2008-01-30 19:49:42 +00:00
|
|
|
};
|
2006-02-02 16:30:01 +00:00
|
|
|
}
|