Index of /pypi/web/packages/e3/1d/38e7ee578c773edb33748519e3482f89376a9c8dde36ccec783579bef89b/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 14:09:28
📄 agda-2.7.0.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl	37150247 bytes	2025-09-05 14:09:45