Peter Simons fb1b425a74 Agda-executable: jailbreak to fix the build with recent versions of Agda		2012-11-12 12:48:27 +01:00
..
default.nix	Agda-executable: jailbreak to fix the build with recent versions of Agda	2012-11-12 12:48:27 +01:00