Index of /pypi/web/packages/0c/3e/caf08b3436171d6d75325857b2cb19579bff9dcc51d197d15e0929908bb4/
Name
Size
Date
📁 ../
-
-
📄 .s3keep
0 bytes
2025-09-05 14:07:31
📄 agda-2.7.0.1-cp37-cp37m-macosx_10_9_x86_64.whl
33952993 bytes
2025-09-05 14:07:55