Index of /pub/Linux/debian/pool/main/d/dctrl2xml

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]dctrl2xml_0.23.tar.xz2024-09-14 18:20 24K 
[   ]dctrl2xml_0.20.tar.xz2018-08-27 20:35 23K 
[   ]dctrl2xml_0.20_all.deb2018-08-27 21:26 12K 
[   ]dctrl2xml_0.23_all.deb2024-09-14 18:45 8.3K 
[TXT]dctrl2xml_0.23.dsc2024-09-14 18:20 1.6K 
[TXT]dctrl2xml_0.20.dsc2018-08-27 20:35 1.5K 

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