Index of /pypi/web/packages/6a/b6/5b037ea69af837d0c013e0a7dd13a697bf72e074a1a348935f84d6a92492/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:53:51
📄 agda-2.7.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl	37017320 bytes	2025-09-05 13:54:28