diff options
author | Maksymilian Owsianny <Maksymilian.Owsianny@gmail.com> | 2014-09-24 19:50:08 +0200 |
---|---|---|
committer | Maksymilian Owsianny <Maksymilian.Owsianny@gmail.com> | 2014-09-24 19:50:08 +0200 |
commit | 4984b30c1861a7be29a35f61edf21e86b23adc62 (patch) | |
tree | b0a7e9d05a11dd0ca9daa4006b4281123d664007 /pkgs/development/compilers | |
parent | 3ebe3df4d01c3074f8b08508f395b97f4f015a97 (diff) | |
download | nixlib-4984b30c1861a7be29a35f61edf21e86b23adc62.tar nixlib-4984b30c1861a7be29a35f61edf21e86b23adc62.tar.gz nixlib-4984b30c1861a7be29a35f61edf21e86b23adc62.tar.bz2 nixlib-4984b30c1861a7be29a35f61edf21e86b23adc62.tar.lz nixlib-4984b30c1861a7be29a35f61edf21e86b23adc62.tar.xz nixlib-4984b30c1861a7be29a35f61edf21e86b23adc62.tar.zst nixlib-4984b30c1861a7be29a35f61edf21e86b23adc62.zip |
Fixed idris.
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/idris/default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pkgs/development/compilers/idris/default.nix b/pkgs/development/compilers/idris/default.nix index e60c4dd5b4b0..2af8ec1b022a 100644 --- a/pkgs/development/compilers/idris/default.nix +++ b/pkgs/development/compilers/idris/default.nix @@ -31,6 +31,5 @@ cabal.mkDerivation (self: { description = "Functional Programming Language with Dependent Types"; license = self.stdenv.lib.licenses.bsd3; platforms = self.ghc.meta.platforms; - broken = true; }; }) |