From ae84167aa177a5068bd47512b59e747a06c060de Mon Sep 17 00:00:00 2001 From: Aycan iRiCAN Date: Wed, 15 Oct 2014 10:57:08 +0300 Subject: [PATCH] Upgrade idris compiler to 0.9.14.3 --- pkgs/development/compilers/idris/default.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index 2af8ec1b022a..ea4651378230 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -31,5 +31,6 @@ cabal.mkDerivation (self: { description = "Functional Programming Language with Dependent Types"; license = self.stdenv.lib.licenses.bsd3; platforms = self.ghc.meta.platforms; + maintainers = with self.stdenv.lib.maintainers; [ aycanirican ]; }; -}) +}) \ No newline at end of file