diff options
Diffstat (limited to 'pkgs/development/compilers/idris2/idris2.nix')
-rw-r--r-- | pkgs/development/compilers/idris2/idris2.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/compilers/idris2/idris2.nix b/pkgs/development/compilers/idris2/idris2.nix index 88c4d05703cf6..421fb93cf03ba 100644 --- a/pkgs/development/compilers/idris2/idris2.nix +++ b/pkgs/development/compilers/idris2/idris2.nix @@ -89,6 +89,7 @@ in stdenv.mkDerivation rec { meta = { description = "A purely functional programming language with first class types"; + mainProgram = "idris2"; homepage = "https://github.com/idris-lang/Idris2"; license = lib.licenses.bsd3; maintainers = with lib.maintainers; [ fabianhjr wchresta mattpolzin ]; |