Index of /pypi/web/packages/e7/c1/6f647cce314a193b3b902233f1d18e52b58e20669bbd941e88b8032ca170/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 12:04:00
📄 agda-2.6.3-cp38-cp38-macosx_13_0_arm64.whl	40819211 bytes	2025-09-05 12:04:29