nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 16:03:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #156629 from siraben/coq-mainprogram

Browse Source 
coq: add meta.mainProgram
This commit is contained in:
Ben Siraphob 2022-02-06 21:43:01 +00:00 committed by GitHub
commit 3594565a7e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/applications/science/logic/coq/default.nix
View File

@ -204,5 +204,6 @@ self = stdenv.mkDerivation {
branch = coq-version;
maintainers = with maintainers; [ roconnor thoughtpolice vbgl Zimmi48 ];
platforms = platforms.unix;
mainProgram = "coqide";
};
}; in self