diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2022-02-06 21:43:01 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-06 21:43:01 +0000 |
| commit | 3594565a7e3e867341b79668634ea2ec2fdf0ffe (patch) | |
| tree | fab575278a057bf6f1c3111c1e107c2b9478ebb2 /pkgs/applications/science/logic | |
| parent | 1a2902ef614ef9622b5a0e57c472d8a60589aae3 (diff) | |
| parent | 6ad0e10dd350c8ffd1fd35d787f5b5dce95e59f5 (diff) | |
| download | nixpkgs-3594565a7e3e867341b79668634ea2ec2fdf0ffe.tar nixpkgs-3594565a7e3e867341b79668634ea2ec2fdf0ffe.tar.gz nixpkgs-3594565a7e3e867341b79668634ea2ec2fdf0ffe.tar.bz2 nixpkgs-3594565a7e3e867341b79668634ea2ec2fdf0ffe.tar.lz nixpkgs-3594565a7e3e867341b79668634ea2ec2fdf0ffe.tar.xz nixpkgs-3594565a7e3e867341b79668634ea2ec2fdf0ffe.tar.zst nixpkgs-3594565a7e3e867341b79668634ea2ec2fdf0ffe.zip | |
Merge pull request #156629 from siraben/coq-mainprogram
coq: add meta.mainProgram
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 6d38d2a650e..fe99b045512 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -204,5 +204,6 @@ self = stdenv.mkDerivation { branch = coq-version; maintainers = with maintainers; [ roconnor thoughtpolice vbgl Zimmi48 ]; platforms = platforms.unix; + mainProgram = "coqide"; }; }; in self |