Index of /pypi/web/packages/0a/f2/47f55badb50d76bbeb9e52795be426222b025927d8737b127940f7a75a9e/
Name
Size
Date
📁 ../
-
-
📄 .s3keep
0 bytes
2025-09-05 13:12:30
📄 agda-2.6.4.1-cp38-cp38-macosx_11_0_arm64.whl
31666644 bytes
2025-09-05 13:12:56