4 Commits

Author	SHA1	Message	Date
Weijia Wang	6e7c0b97d4	treewide: make fetchPypi more explicit	2023-05-25 21:37:59 +03:00
Fabian Affolter	9d6b73b217	agda-pkg: rename GitPython	2022-12-05 22:06:10 +01:00
R. RyanTM	32b2d0d50b	agda-pkg: 0.1.50 -> 0.1.51	2020-10-15 07:20:50 +00:00
Alex Rice	db1bed3885	agda-pkg: init at 0.1.50	2020-05-27 08:55:27 +01:00