Index of /pub/Linux/debian/pool/main/o/odot

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]odot_1.3.0-0.1.debian.tar.xz2016-08-29 23:22 2.4K 
[TXT]odot_1.3.0-0.1.dsc2016-08-29 23:22 1.6K 
[   ]odot_1.3.0-0.1_all.deb2016-09-06 01:18 28K 
[   ]odot_1.3.0.orig.tar.gz2016-08-29 23:22 34K 

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