Index of /pub/Linux/debian/pool/main/i/ilisp

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]ilisp_5.12.0+cvs.2004.12.26-27.2.dsc2018-12-20 11:43 2.0K 
[TXT]ilisp_5.12.0+cvs.2004.12.26-28.dsc2021-01-05 14:09 2.1K 
[TXT]ilisp_5.12.0+cvs.2004.12.26-29.dsc2023-07-04 11:45 2.1K 
[   ]ilisp_5.12.0+cvs.2004.12.26-27.2.debian.tar.xz2018-12-20 11:43 84K 
[   ]ilisp_5.12.0+cvs.2004.12.26-28.debian.tar.xz2021-01-05 14:09 85K 
[   ]ilisp_5.12.0+cvs.2004.12.26-29.debian.tar.xz2023-07-04 11:45 85K 
[   ]ilisp_5.12.0+cvs.2004.12.26-29_all.deb2023-07-04 12:06 215K 
[   ]ilisp_5.12.0+cvs.2004.12.26-27.2_all.deb2018-12-20 12:25 221K 
[   ]ilisp_5.12.0+cvs.2004.12.26-28_all.deb2021-01-05 14:34 221K 
[   ]ilisp_5.12.0+cvs.2004.12.26.orig.tar.gz2009-11-16 22:50 293K 
[   ]ilisp-doc_5.12.0+cvs.2004.12.26-29_all.deb2023-07-04 12:06 333K 
[   ]ilisp-doc_5.12.0+cvs.2004.12.26-27.2_all.deb2018-12-20 12:25 339K 
[   ]ilisp-doc_5.12.0+cvs.2004.12.26-28_all.deb2021-01-05 14:34 340K 

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443