Manuel Bärenz 7a135abf60 Merge pull request #98214 from turion/dev_test_all_agda_packages ... Fix #98209. Test all agda packages		2021-10-19 09:56:50 +02:00
..
default.nix	Merge pull request #98214 from turion/dev_test_all_agda_packages	2021-10-19 09:56:50 +02:00
lib.nix	agdaPackages: Build reverse dependencies on test	2021-08-03 13:33:59 +02:00