diff options
author | Chen <i@cuichen.cc> | 2023-11-14 16:19:47 +0800 |
---|---|---|
committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-11-15 18:44:11 +0100 |
commit | 68ce3b5fffcc89074970fbcdc33f0c74373536a5 (patch) | |
tree | a7b0b34fe3bb772d65b4e3f14e6e034cb30bac09 /pkgs/by-name/ln | |
parent | c41b4396b082855ca8c7fb90e84ce228d31b2f2c (diff) | |
download | nixlib-68ce3b5fffcc89074970fbcdc33f0c74373536a5.tar nixlib-68ce3b5fffcc89074970fbcdc33f0c74373536a5.tar.gz nixlib-68ce3b5fffcc89074970fbcdc33f0c74373536a5.tar.bz2 nixlib-68ce3b5fffcc89074970fbcdc33f0c74373536a5.tar.lz nixlib-68ce3b5fffcc89074970fbcdc33f0c74373536a5.tar.xz nixlib-68ce3b5fffcc89074970fbcdc33f0c74373536a5.tar.zst nixlib-68ce3b5fffcc89074970fbcdc33f0c74373536a5.zip |
lngen: init at unstable-2023-10-17
Diffstat (limited to 'pkgs/by-name/ln')
-rw-r--r-- | pkgs/by-name/ln/lngen/package.nix | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/pkgs/by-name/ln/lngen/package.nix b/pkgs/by-name/ln/lngen/package.nix new file mode 100644 index 000000000000..1b06a5b1966b --- /dev/null +++ b/pkgs/by-name/ln/lngen/package.nix @@ -0,0 +1,23 @@ +{ lib +, haskellPackages +, fetchFromGitHub +}: + +haskellPackages.mkDerivation { + pname = "lngen"; + version = "unstable-2023-10-17"; + src = fetchFromGitHub { + owner = "plclub"; + repo = "lngen"; + rev = "c7645001404e0e2fec2c56f128e30079b5b3fac6"; + hash = "sha256-2vUYHtl9yAadwdTtsjTI0klP+nRSYGXVpaSwD9EBTTI="; + }; + isLibrary = true; + isExecutable = true; + libraryHaskellDepends = with haskellPackages; [ base syb parsec containers mtl ]; + executableHaskellDepends = with haskellPackages; [ base ]; + homepage = "https://github.com/plclub/lngen"; + description = "Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott"; + maintainers = with lib.maintainers; [ chen ]; + license = lib.licenses.mit; +} |