Index of /pypi/web/packages/69/0c/245790054ce42925050ea558681ca3e7a0644b14e76c9fb28696fcdc3853/
Name
Size
Date
📁 ../
-
-
📄 .s3keep
0 bytes
2025-09-05 13:42:30
📄 agda-2.6.4.3.post1-cp38-cp38-macosx_10_9_x86_64.whl
32995453 bytes
2025-09-05 13:42:56