Index of /pypi/web/packages/bc/88/d64925521cfacdaba99fe83c06dfeed21e8a26c1512ac3132d912b0bd050/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:09:37
📄 agda-2.6.4.1-cp312-cp312-win_amd64.whl	22839572 bytes	2025-09-05 13:10:00