Index of /pypi/web/packages/a8/d8/c9ab951f3901a125d69f5fe4a20505c98d531e9c3f0d03045d12cd5d41f6/

Name	Size	Date
📁 ../	-	-
📄 .s3keep	0 bytes	2025-09-05 11:53:52
📄 agda_kernel-0.61-py3-none-any.whl	20799 bytes	2025-09-05 11:53:54