Mateusz Kowalczyk 270c7f0622 agda-sheaves: use lib.licenses		2014-09-11 19:51:24 +01:00
..
default.nix	agda-sheaves: use lib.licenses	2014-09-11 19:51:24 +01:00