diff options
| -rw-r--r-- | maintainers/maintainer-list.nix | 6 | ||||
| -rw-r--r-- | pkgs/by-name/ln/lngen/package.nix | 23 |
2 files changed, 29 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index fe266213920..911f71a2cf0 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3079,6 +3079,12 @@ githubId = 1689801; name = "Mikhail Chekan"; }; + chen = { + email = "i@cuichen.cc"; + github = "cu1ch3n"; + githubId = 80438676; + name = "Chen Cui"; + }; ChengCat = { email = "yu@cheng.cat"; github = "ChengCat"; diff --git a/pkgs/by-name/ln/lngen/package.nix b/pkgs/by-name/ln/lngen/package.nix new file mode 100644 index 00000000000..1b06a5b1966 --- /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; +} |