Index of /pypi/web/packages/35/fa/b0599dfbf50e8d1ac35bd965869e81985141f05e5b8d70790aee7fcf2d2c/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 14:01:55
📄 agda-2.7.0.1-cp310-cp310-macosx_10_9_x86_64.whl	33956886 bytes	2025-09-05 14:02:16