JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
53,981 Commits 2 Branches 0 Tags 12 GiB
9f30d7d038
Commit Graph

2 Commits

Author SHA1 Message Date
Mateusz Kowalczyk
997b4bff29 agda-pretty: mark as broken 
Broken by updating the stdlib to 0.9. For now I let the author know.
 2014-11-20 09:04:54 +00:00
Mateusz Kowalczyk
d409ae809a agda-pretty: new package 2014-09-27 03:30:30 +01:00