6 commits

Author	SHA1	Message	Date
John Ericson	52a6589559	agda: the Iowa stdlib seems to be behind a private SVN now	2015-05-20 16:01:44 +00:00
Domen Kožar	9b7b2ce8eb	Revert "Introduce patchShebangsPhase ran in preConfigurePhases" ... This reverts commit 512fbb280f. See #5368	2015-01-08 10:26:49 +01:00
Domen Kožar	512fbb280f	Introduce patchShebangsPhase ran in preConfigurePhases ... (cherry picked from commit 91c7e8747af1fdc2a70cd98594ccbb12a5c6902d) Signed-off-by: Domen Kožar <domen@dev.si>	2015-01-02 02:58:32 +01:00
Mateusz Kowalczyk	73db2dab55	agda-iowa-stdlib: update to r18734 ... Now works with Agda 2.4.2.1	2014-11-18 07:58:50 +00:00
Mateusz Kowalczyk	9ee5b8d3fc	agda-iowa-stdlib: mark as broken ... The recent update of Agda breaks this, including the most recent SVN checkout. I notified the author but marking as broken until a fix is committed.	2014-11-17 17:13:01 +00:00
Mateusz Kowalczyk	714dc47696	agda-iowa-stdlib: renamed from aaron-stump-stdlib ... Per author's request.	2014-09-28 02:21:21 +01:00