Index of /pypi/web/packages/da/83/e1bce3962f3e78501c0a77f90d27eb6c661450c4aeb0250ea4223f5d8a8b/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 13:40:50
📄 agda-2.6.4.3.post1-cp37-cp37m-macosx_10_9_x86_64.whl	32998277 bytes	2025-09-05 13:41:16
📄 agda-2.6.4.3.post1-cp37-cp37m-macosx_10_9_x86_64.whl.metadata	3987 bytes	2026-08-11 04:16:58