diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2022-01-24 16:37:48 -0600 |
---|---|---|
committer | Ben Siraphob <bensiraphob@gmail.com> | 2022-02-06 15:42:47 -0600 |
commit | 6ad0e10dd350c8ffd1fd35d787f5b5dce95e59f5 (patch) | |
tree | 45e1da255fe8abc9394e5ad1ca6490f523f21e86 /pkgs/applications/science/logic/coq | |
parent | 1ea35d50d84aa6e85a99a4ed593df7ed629b3974 (diff) |
coq: add meta.mainProgram
Diffstat (limited to 'pkgs/applications/science/logic/coq')
-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 12c455d2fc0a8..6a379c877d0d0 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 |