Index of /pypi/web/packages/e1/f4/97b757290a5ac423f02f032cd7bc5ad4a3e1a27bb179e1eab6dd2c9dd56d/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 12:57:16
📄 agda-2.6.4-cp38-cp38-win_amd64.whl	31437441 bytes	2025-09-05 12:57:42