/debian-ports/pool/main/a/agda-stdlib/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-stdlib_1.7.3-1_all.deb112.4 MiB04.11.2023 12:59
agda-stdlib-doc_1.7.3-1_all.deb2.9 MiB04.11.2023 12:59