Index of /pypi/web/packages/59/ff/7154c22696d9b2f88882fc04c0f640a02eed0baba0c553225f545af80f30/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 12:02:03
📄 agda-2.6.3-cp37-cp37m-manylinux_2_28_x86_64.whl	45417639 bytes	2025-09-05 12:02:38