Merge pull request #267400 from cu1ch3n/init-lngen

    githubId = 1689801;

    name = "Mikhail Chekan";

  };

  chen = {

    email = "i@cuichen.cc";

    github = "cu1ch3n";

    githubId = 80438676;

    name = "Chen Cui";

  };

  ChengCat = {

    email = "yu@cheng.cat";

    github = "ChengCat";

{ 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;

}