nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-09 06:23:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
61,464 Commits 175 Branches 125 Tags 6.8 GiB
6a931f4127
Commit Graph

4 Commits

Author SHA1 Message Date
Nikolay Amiantov
25618c3670 agda: migrate to haskell-ng, update and cleanup 
Resolves https://github.com/NixOS/nixpkgs/pull/7172.
 2015-04-06 21:24:33 +02:00
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