about summary refs log tree commit diff
path: root/pkgs/development/tools/agda-pkg
AgeCommit message (Expand)AuthorFilesLines
2023-05-25treewide: make fetchPypi more explicitWeijia Wang1-0/+1
2022-12-05agda-pkg: rename GitPythonFabian Affolter1-2/+4
2020-10-15agda-pkg: 0.1.50 -> 0.1.51R. RyanTM1-2/+2
2020-05-27agda-pkg: init at 0.1.50Alex Rice1-0/+44