Index of /pypi/web/packages/93/5c/cb3e78b412cca5e38e3db7c73e3da74cdf6232c2f2976d8db915f7b313f6/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:23:40
📄 agda-2.6.4.3-cp312-cp312-macosx_11_0_arm64.whl	31671296 bytes	2025-09-05 13:24:15