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

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
agda-stdlib-doc_2.3-1_all.deb	3.8 MiB	2026-Feb-16 01:59
agda-stdlib_2.3-1_all.deb	146.0 MiB	2026-Feb-16 01:59