Index of /debian/pool/contrib/c/cicero
Name
Last modified
Size
Parent Directory
-
cicero_0.7.2-3_all.deb
2014-10-19 15:59
88K
cicero_0.7.2-4_all.deb
2018-04-28 16:40
88K
Apache/2.4.62 (Debian) Server at deb.dsi.ist.utl.pt Port 443