Index of /pypi/web/packages/73/fc/4df5dbd08ae6adce3512df30d4268d113dff9d72fedc865ed13cc9ddafb2/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:29:51
📄 agda-2.6.4.3-cp38-cp38-win_amd64.whl	22839175 bytes	2025-09-05 13:30:12