cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
55924 commits 1 branch 0 tags 3.7 GiB
Commit graph

3 commits

Author SHA1 Message Date
Mateusz Kowalczyk
d466b40bb3 agda-TotalParserCombinators: update darcs revision 
Fixes the package for new Agda version
 2014-12-03 17:13:48 +00:00
Mateusz Kowalczyk
12cb1dcb18 agda-TotalParserCombinators: mark as broken 
Due to 0.9 stdlib update, author notified.
 2014-11-20 21:16:33 +00:00
Mateusz Kowalczyk
4ed56b013f agda-TotalParserCombinators: new package 2014-09-27 03:23:22 +01:00