Index of /pypi/web/packages/69/e9/fffe4a895c6d2630e597f6b9dbfd0df51949f2c5028b9b0dbb7edf4f1dbe/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:58:12
📄 agda-2.6.3-cp311-cp311-macosx_13_0_arm64.whl	40816565 bytes	2025-09-05 11:58:48