Index of /pypi/web/packages/61/48/072b20592ebea1af30dc88847e5142c09ef8a457ca60529b9898ecf9ac1d/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:38:18
📄 agda-2.6.4.3.post1-cp312-cp312-macosx_10_9_x86_64.whl	32997156 bytes	2025-09-05 13:38:51