mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-09-11 15:08:33 +01:00
9ee5b8d3fc
The recent update of Agda breaks this, including the most recent SVN checkout. I notified the author but marking as broken until a fix is committed. |
||
---|---|---|
.. | ||
agda-base | ||
agda-iowa-stdlib | ||
agda-prelude | ||
AgdaSheaves | ||
bitvector | ||
categories | ||
pretty | ||
TotalParserCombinators |