Index of /pypi/web/packages/3f/ee/39d34eafc4664c95dc998b5ade57e61611faefa5c9acb09de48c7b722ecb/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:44:38
📄 agda-2.6.4.3.post1-cp38-cp38-win_amd64.whl	22826958 bytes	2025-09-05 13:45:06