Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove myself (fuuzetsu) from maintainer lists | Mateusz Kowalczyk | 2019-12-05 |
* | agdaIowaStdlib: 1.4.0 -> 1.5.0 | danbst | 2019-08-20 |
* | agdaIowaStdlib: 18734 -> 1.4.0 | Matthew Pickering | 2018-10-14 |
* | 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 |