diff options
| author | Aycan iRiCAN <iricanaycan@gmail.com> | 2014-10-15 10:57:08 +0300 |
|---|---|---|
| committer | Aycan iRiCAN <iricanaycan@gmail.com> | 2014-10-15 10:57:08 +0300 |
| commit | ae84167aa177a5068bd47512b59e747a06c060de (patch) | |
| tree | 721971ea5988171e147d785a97512ac4373f358e /pkgs/development/compilers | |
| parent | 620ee88fb82dd75ad0feb12b8138d42d7139e24a (diff) | |
| download | nixpkgs-ae84167aa177a5068bd47512b59e747a06c060de.tar nixpkgs-ae84167aa177a5068bd47512b59e747a06c060de.tar.gz nixpkgs-ae84167aa177a5068bd47512b59e747a06c060de.tar.bz2 nixpkgs-ae84167aa177a5068bd47512b59e747a06c060de.tar.lz nixpkgs-ae84167aa177a5068bd47512b59e747a06c060de.tar.xz nixpkgs-ae84167aa177a5068bd47512b59e747a06c060de.tar.zst nixpkgs-ae84167aa177a5068bd47512b59e747a06c060de.zip | |
Upgrade idris compiler to 0.9.14.3
Diffstat (limited to 'pkgs/development/compilers')
| -rw-r--r-- | pkgs/development/compilers/idris/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index 2af8ec1b022..ea465137823 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 |