/pypi/web/packages/a0/6f/ba8de4ef87fe56869999ea5024d81cbda4cc7c1a08b009c1e293f9d7451c/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-2.7.0-cp311-cp311-macosx_10_9_x86_64.whl32.2 MiB2024/08/21 08:46:17