4 Commits

Author	SHA1	Message	Date
Alex Rice	8ee4c3698c	Agda: Add turion as maintainer	2020-05-14 20:54:12 +01:00
Keshav Kini	43fb96efe8	iowa-stdlib: update homepage URL ... The old homepage URL, which was hosted inside the old SVN server, isn't publicly accessible anymore. Since the project has officially moved to github, it seems better to set the github repo as the homepage.	2020-05-14 20:54:12 +01:00
Alex Rice	1175065111	agda.iowa-stdlib: mark broken	2020-05-14 20:54:12 +01:00
Alex Rice	d30e2468e0	agda: rework builder	2020-05-14 20:54:11 +01:00