pandoc-lua-filters: init at 2020-11-30

wip/yesman
Jan Tojnar 4 years ago
parent 652b3fad35
commit 9a31966f14
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4
  1. 33
      pkgs/tools/misc/pandoc-lua-filters/default.nix
  2. 2
      pkgs/top-level/all-packages.nix

@ -0,0 +1,33 @@
{ stdenv
, fetchFromGitHub
}:
stdenv.mkDerivation rec {
pname = "pandoc-lua-filters";
version = "2020-11-30";
src = fetchFromGitHub {
owner = "pandoc";
repo = "lua-filters";
rev = "v${version}";
sha256 = "HWBlmlIuJOSgRVrUmXOAI4XTxs1PbZhcwZgZFX0x2wM=";
};
dontBuild = true;
installPhase = ''
runHook preInstall
install -Dt $out/share/pandoc/filters **/*.lua
runHook postInstall
'';
meta = with stdenv.lib; {
description = "A collection of lua filters for pandoc";
homepage = "https://github.com/pandoc/lua-filters";
license = licenses.mit;
maintainers = with maintainers; [ jtojnar ];
platforms = platforms.all;
};
}

@ -6378,6 +6378,8 @@ in
pandoc = callPackage ../development/tools/pandoc { };
pandoc-lua-filters = callPackage ../tools/misc/pandoc-lua-filters { };
pamtester = callPackage ../tools/security/pamtester { };
paperless = callPackage ../applications/office/paperless { };

Loading…
Cancel
Save