Fabian Affolter 9d6b73b217 agda-pkg: rename GitPython		2022-12-05 22:06:10 +01:00
..
default.nix	agda-pkg: rename GitPython	2022-12-05 22:06:10 +01:00