diff options
Diffstat (limited to 'pkgs/applications/science/logic/potassco/clingcon.nix')
| -rw-r--r-- | pkgs/applications/science/logic/potassco/clingcon.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/potassco/clingcon.nix b/pkgs/applications/science/logic/potassco/clingcon.nix index 4966bf608bc9..957ebfd3ec43 100644 --- a/pkgs/applications/science/logic/potassco/clingcon.nix +++ b/pkgs/applications/science/logic/potassco/clingcon.nix @@ -32,6 +32,7 @@ stdenv.mkDerivation rec { meta = { description = "Extension of clingo to handle constraints over integers"; + mainProgram = "clingcon"; license = lib.licenses.mit; platforms = lib.platforms.unix; homepage = "https://potassco.org/"; |