diff options
author | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2023-11-15 23:57:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-15 23:57:24 +0100 |
commit | 9c1bd826948a7f77cac825c9de43e0ab8ff2b3d3 (patch) | |
tree | 894c52038fe34b92b04047014d000aff998ea369 /pkgs/by-name | |
parent | 917c71f7005cd8ee17f0919874f007b8501027ca (diff) | |
parent | 68ce3b5fffcc89074970fbcdc33f0c74373536a5 (diff) |
Merge pull request #267400 from cu1ch3n/init-lngen
lngen: init at unstable-2023-10-17
Diffstat (limited to 'pkgs/by-name')
-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 0000000000000..1b06a5b1966bf --- /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; +} |