(BIN) agda-stdlib-doc_2.3-1_all.deb
 (BIN) agda-stdlib_2.3-1.debian.tar.xz
 (TXT) agda-stdlib_2.3-1.dsc
 (BIN) agda-stdlib_2.3-1_all.deb
 (BIN) agda-stdlib_2.3.orig.tar.gz