../ ilisp-doc_5.12.0+cvs.2004.12.26-ok1_all.deb 23-Jul-2022 11:55 318478 ilisp_5.12.0+cvs.2004.12.26-ok1.debian.tar.xz 23-Jul-2022 11:55 81676 ilisp_5.12.0+cvs.2004.12.26-ok1.dsc 23-Jul-2022 11:55 1901 ilisp_5.12.0+cvs.2004.12.26-ok1_all.deb 23-Jul-2022 11:55 202248 ilisp_5.12.0+cvs.2004.12.26.orig.tar.gz 23-Jul-2022 11:55 300410