Mateusz Kowalczyk d54b62ca60 Add a builder for Agda packages.		2014-09-01 01:05:48 +01:00
..
default.nix	Add a builder for Agda packages.	2014-09-01 01:05:48 +01:00