Sandro 8533ec6031 Merge pull request #220638 from Tungsten842/evhz ... evhz: init at unstable-2021-09-20		2023-03-13 16:51:33 +01:00
..
scripts	release-haskell.nix: add aarch64-darwin	2023-03-10 14:43:00 +01:00
maintainer-list.nix	Merge pull request #220638 from Tungsten842/evhz	2023-03-13 16:51:33 +01:00
team-list.nix	maintainers: add Alizter to Coq team	2023-03-13 00:41:41 +01:00