diff options
Diffstat (limited to 'nixpkgs/pkgs/by-name/ln/lngen/package.nix')
-rw-r--r-- | nixpkgs/pkgs/by-name/ln/lngen/package.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/by-name/ln/lngen/package.nix b/nixpkgs/pkgs/by-name/ln/lngen/package.nix index 1b06a5b1966b..d84e3556cd5e 100644 --- a/nixpkgs/pkgs/by-name/ln/lngen/package.nix +++ b/nixpkgs/pkgs/by-name/ln/lngen/package.nix @@ -20,4 +20,5 @@ haskellPackages.mkDerivation { 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"; } |