public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
61d7fb934b0e356cd108afcd293c09837efcc6bf
nixpkgs/pkgs/development/libraries/agda/TotalParserCombinators
History
Mateusz Kowalczyk 12cb1dcb18 agda-TotalParserCombinators: mark as broken 
Due to 0.9 stdlib update, author notified.
2014-11-20 21:16:33 +00:00
..
contextfile
…
default.nix
agda-TotalParserCombinators: mark as broken
2014-11-20 21:16:33 +00:00