Index of /pypi/web/packages/07/c8/b3fcf007515e9263419be7887116a286d2aacae3c8442732b310bdc53eeb/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 14:05:39
📄 agda-2.7.0.1-cp312-cp312-macosx_10_13_x86_64.whl	33958572 bytes	2025-09-05 14:06:01