Index of /pypi/web/packages/96/62/a4d77b530ed5bd489e78fe0ebbcac5714bda3e6b5ce61a8315e2a8af6dc9/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:22:42
📄 agda-2.6.4.3-cp311-cp311-win_amd64.whl	22838500 bytes	2025-09-05 13:23:05