Index of /pub/unix/systems/Linux/dist/debian/pool/contrib/c/cicero

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]cicero_0.7.2-4.diff.gz2018-04-28 17:40 3.9K 
[TXT]cicero_0.7.2-4.dsc2018-04-28 17:40 1.8K 
[   ]cicero_0.7.2-4_all.deb2018-04-28 17:40 88K 
[   ]cicero_0.7.2.orig.tar.gz2010-10-18 21:47 94K 

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