Index of /pypi/web/packages/98/07/c515830d85f1615cfc2aa9c5d188b0d6d6ecc868eff0a1d299e25ab804e9/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 12:01:05
📄 agda-2.6.3-cp37-cp37m-macosx_10_10_x86_64.whl	41845475 bytes	2025-09-05 12:01:32