Index of /pypi/web/packages/ef/6a/7bb69fe0ef454b3fb83fd5e770fbc5d21900d2c9d80d72dfec67cca37027/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 12:11:50
📄 agda-2.6.3.post1-cp310-cp310-macosx_10_10_x86_64.whl	41847156 bytes	2025-09-05 12:12:28