Naïm Favier bbb6af88eb agda: pass through meta		2023-01-12 22:26:05 +01:00
..
default.nix	agda: pass through meta	2023-01-12 22:26:05 +01:00
lib.nix	agdaPackages: Build reverse dependencies on test	2021-08-03 13:33:59 +02:00