10 Commits

Author	SHA1	Message	Date
Mateusz Kowalczyk	1451a52a38	Remove myself (fuuzetsu) from maintainer lists ... I haven't been doing any maintenance for a long time now and not only do I get notified, it also creates a fake impression that all these packages had at least one maintainer when in practice they had none.	2019-12-05 16:29:48 +09:00
danbst	d215144cc9	agdaIowaStdlib: 1.4.0 -> 1.5.0 ... https://hydra.nixos.org/build/98831905	2019-08-20 17:32:20 +03:00
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. 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