2021-01-23 12:26:19 +00:00
|
|
|
{ lib, stdenv
|
2019-10-07 01:42:23 +00:00
|
|
|
, fetchurl
|
|
|
|
|
}:
|
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2022-02-06 20:45:05 +00:00
|
|
|
pname = "direvent";
|
2022-02-11 05:21:19 +00:00
|
|
|
version = "5.3";
|
2019-10-07 01:42:23 +00:00
|
|
|
|
|
|
|
|
src = fetchurl {
|
2022-02-06 20:45:05 +00:00
|
|
|
url = "mirror://gnu/direvent/direvent-${version}.tar.gz";
|
2022-02-11 05:21:19 +00:00
|
|
|
sha256 = "sha256-lAWop32kn+krvkrxi/kl/5H20zdMELfXAKAxusuUxJc=";
|
2019-10-07 01:42:23 +00:00
|
|
|
};
|
|
|
|
|
|
2021-01-23 12:26:19 +00:00
|
|
|
meta = with lib; {
|
2019-10-07 01:42:23 +00:00
|
|
|
description = "Directory event monitoring daemon";
|
|
|
|
|
homepage = "https://www.gnu.org.ua/software/direvent/";
|
|
|
|
|
license = licenses.gpl3Plus;
|
2021-03-04 08:03:03 +00:00
|
|
|
platforms = platforms.unix;
|
2019-10-07 01:42:23 +00:00
|
|
|
maintainers = with maintainers; [ puffnfresh ];
|
|
|
|
|
};
|
|
|
|
|
}
|
