gentoo.mahdi.cz
dev-python
:agda-pkg
A package manager for Agda
https://github.com/agda/agda-pkg
agda-pkg-0.1.51
MIT
download
~amd64 ~x86
pypi