diff options
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/idris2/idris2.nix')
-rw-r--r-- | nixpkgs/pkgs/development/compilers/idris2/idris2.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/compilers/idris2/idris2.nix b/nixpkgs/pkgs/development/compilers/idris2/idris2.nix index 88c4d05703cf..421fb93cf03b 100644 --- a/nixpkgs/pkgs/development/compilers/idris2/idris2.nix +++ b/nixpkgs/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 ]; |