mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-18 10:56:53 +00:00
Code Issues Wiki Activity
72491 commits 183 branches 125 tags 6.7 GiB
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