Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Agda: marked some old packages as broken | laMudri | 2016-06-07 |
| | |||
* | Fix lots of fetchgit hashes (fallout from #15469) | Tuomas Tynkkynen | 2016-06-03 |
| | |||
* | Revert "Merge pull request #15595 from laMudri/agda-stdlib" | Joachim Fasting | 2016-05-23 |
| | | | | | | | This reverts commit ce4f6c215f2f34435638113421dd291a57d16715, reversing changes made to 7817d0901d44ba97e5862e94840098e2b97d8631. See https://github.com/NixOS/nixpkgs/pull/15595/commits/68e1419cb8eca6e306ec0a75f37621ae7aefabed#r64175487 | ||
* | Agda: marked some old packages as broken | laMudri | 2016-05-21 |
| | |||
* | agda: migrate to haskell-ng, update and cleanup | Nikolay Amiantov | 2015-04-06 |
Resolves https://github.com/NixOS/nixpkgs/pull/7172. |