Commit Graph

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