Index of /pypi/web/packages/ff/ce/8ff087292d18ddcdc9f6de3193737c5343a7b32799698e5427ccb8b612dd/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:28:48
📄 agda-2.6.4.3-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl	36063322 bytes	2025-09-05 13:29:16