diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/opensmt/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/opensmt/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/opensmt/default.nix b/nixpkgs/pkgs/applications/science/logic/opensmt/default.nix index 6d073400209d..4a5f453f3547 100644 --- a/nixpkgs/pkgs/applications/science/logic/opensmt/default.nix +++ b/nixpkgs/pkgs/applications/science/logic/opensmt/default.nix @@ -31,6 +31,7 @@ stdenv.mkDerivation rec { meta = with lib; { broken = (stdenv.isLinux && stdenv.isAarch64); description = "A satisfiability modulo theory (SMT) solver"; + mainProgram = "opensmt"; maintainers = [ maintainers.raskin ]; platforms = platforms.linux; license = if enableReadline then licenses.gpl2Plus else licenses.mit; |