Index of /pypi/web/packages/ff/a7/adcadf1bd3843fc289786b38c07e4dfa11b85035fe81435b477074abf34d/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:35:10
📄 agda-2.6.4.3.post1-cp310-cp310-win_amd64.whl	22827049 bytes	2025-09-05 13:35:38