Index of /pypi/web/packages/79/e3/dcc303c6d3a5d67ce193c55c06ddf984d93e0dbc3544748457d223a8c4b5/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:19:14
📄 agda-2.6.4.3-cp310-cp310-win_amd64.whl	22839103 bytes	2025-09-05 13:19:37