Matthew Pickering
561fcf4c82
agdaIowaStdlib: 18734 -> 1.4.0
2018-10-14 19:17:01 +00:00
Silvan Mosberger
f5fa5fa4d6
pkgs: refactor needless quoting of homepage meta attribute ( #27809 )
...
* pkgs: refactor needless quoting of homepage meta attribute
A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.
* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit
* Fixed some instances
2017-08-01 22:03:30 +02:00
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#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
