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 |
|