| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | pkgs: refactor needless quoting of homepage meta attribute (#27809) | Silvan Mosberger | 2017-08-01 |
| * | agda: the Iowa stdlib seems to be behind a private SVN now | John Ericson | 2015-05-20 |
| * | Revert "Introduce patchShebangsPhase ran in preConfigurePhases" | Domen Kožar | 2015-01-08 |
| * | Introduce patchShebangsPhase ran in preConfigurePhases | Domen Kožar | 2015-01-02 |
| * | agda-iowa-stdlib: update to r18734 | Mateusz Kowalczyk | 2014-11-18 |
| * | agda-iowa-stdlib: mark as broken | Mateusz Kowalczyk | 2014-11-17 |
| * | agda-iowa-stdlib: renamed from aaron-stump-stdlib | Mateusz Kowalczyk | 2014-09-28 |