Index of /pypi/web/packages/1a/c2/b0461229b20e872270720ee6967a4eaa658d11dc2e4b90caee733ac5af44/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 12:45:54
📄 agda-2.6.4-cp312-cp312-macosx_11_0_arm64.whl	42786702 bytes	2025-09-05 12:46:50