diff options
| author | stuebinm <stuebinm@disroot.org> | 2024-03-19 03:14:51 +0100 |
|---|---|---|
| committer | stuebinm <stuebinm@disroot.org> | 2024-03-19 03:14:51 +0100 |
| commit | ff1a94e523ae9fb272e0581f068baee5d1068476 (patch) | |
| tree | cbea47f2004a4fa8685163d630612cf748e72c1e /pkgs/by-name/ln | |
| parent | b06025f1533a1e07b6db3e75151caa155d1c7eb3 (diff) | |
| download | nixlib-ff1a94e523ae9fb272e0581f068baee5d1068476.tar nixlib-ff1a94e523ae9fb272e0581f068baee5d1068476.tar.gz nixlib-ff1a94e523ae9fb272e0581f068baee5d1068476.tar.bz2 nixlib-ff1a94e523ae9fb272e0581f068baee5d1068476.tar.lz nixlib-ff1a94e523ae9fb272e0581f068baee5d1068476.tar.xz nixlib-ff1a94e523ae9fb272e0581f068baee5d1068476.tar.zst nixlib-ff1a94e523ae9fb272e0581f068baee5d1068476.zip | |
treewide: add meta.mainProgram to packages with a single binary
The nixpkgs-unstable channel's programs.sqlite was used to identify packages producing exactly one binary, and these automatically added to their package definitions wherever possible.
Diffstat (limited to 'pkgs/by-name/ln')
| -rw-r--r-- | pkgs/by-name/ln/lngen/package.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/by-name/ln/lngen/package.nix b/pkgs/by-name/ln/lngen/package.nix index 1b06a5b1966b..d84e3556cd5e 100644 --- a/pkgs/by-name/ln/lngen/package.nix +++ b/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"; } |