Index of /pypi/web/packages/ff/d9/364b6e83128e3bd7da40b5e3951cd3df3d8bd390f5e8222055c1f568003d/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:27:50
📄 agda-2.6.4.3-cp38-cp38-macosx_10_9_x86_64.whl	32998639 bytes	2025-09-05 13:28:18