Merge pull request #4537 from aycanirican/idris_update

Upgrade idris compiler to 0.9.14.3
This commit is contained in:
Aycan iRiCAN 2014-10-15 10:58:09 +03:00
commit f216f98aaa

View file

@ -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 ];
};
})
})