Index of /ubuntu/pool/universe/d/dot2tex

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]dot2tex_2.9.0-2_all.deb2015-08-16 01:19 219K 
[   ]dot2tex_2.9.0-2.1_all.deb2017-08-14 19:13 220K 
[   ]dot2tex_2.11.3-2_all.deb2020-01-19 06:18 221K 

Apache/2.4.41 (Ubuntu) Server at fermi.inf.unibz.it Port 80