root/pypi: links for agda-kernel

root/pypi agda_kernel-0.64.tar.gz
root/pypi agda_kernel-0.64-py3-none-any.whl
root/pypi agda_kernel-0.63-py3-none-any.whl
root/pypi agda_kernel-0.62.tar.gz
root/pypi agda_kernel-0.62-py3-none-any.whl
root/pypi agda_kernel-0.61-py3-none-any.whl
root/pypi agda_kernel-0.6.tar.gz
root/pypi agda_kernel-0.6-py3-none-any.whl
root/pypi agda_kernel-0.5.tar.gz
root/pypi agda_kernel-0.5-py3-none-any.whl
root/pypi agda_kernel-0.4.tar.gz
root/pypi agda_kernel-0.4-py3-none-any.whl
root/pypi agda_kernel-0.3.tar.gz
root/pypi agda_kernel-0.2.tar.gz
root/pypi agda_kernel-0.2-py3-none-any.whl