public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

agda: the Iowa stdlib seems to be behind a private SVN now

Browse Source
This commit is contained in:
John Ericson 2015-05-18 01:49:19 -04:00
parent 91ab6c9e89
commit 52a6589559
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
View File

@ -22,5 +22,7 @@ agda.mkDerivation (self: rec {
license = stdenv.lib.licenses.free; license = stdenv.lib.licenses.free;
platforms = stdenv.lib.platforms.unix; platforms = stdenv.lib.platforms.unix;
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ]; maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
broken = true;
}; };
}) })