Index of /pypi/web/packages/53/cb/4325c0eb04421c1b0e219f44201c169783c37709f140251b42c67b2bdf4c/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 14:10:30
📄 agda-2.7.0.1-cp39-cp39-macosx_10_9_x86_64.whl	33956887 bytes	2025-09-05 14:10:56