nixpkgs/pkgs/by-name/ln/lngen/package.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

{ 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;
  mainProgram = "lngen";
}