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

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
agda_2.8.0-2_all.deb	17.0 KiB	2026-Feb-16 00:07
elpa-agda2-mode_2.8.0-2_all.deb	56.3 KiB	2026-Feb-16 00:07
libghc-agda-doc_2.8.0-2_all.deb	7.2 MiB	2026-Feb-16 00:07