Index of /pub/Linux/debian/pool/main/m/mini-dinstall

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]mini-dinstall_0.7.0.dsc2019-07-31 01:37 1.6K 
[TXT]mini-dinstall_0.6.31.dsc2017-09-06 08:12 1.6K 
[TXT]mini-dinstall_0.7.2.dsc2023-01-30 10:00 1.7K 
[TXT]mini-dinstall_0.7.3.dsc2024-05-23 00:32 1.7K 
[   ]mini-dinstall_0.7.3_all.deb2024-05-23 00:47 33K 
[   ]mini-dinstall_0.7.2_all.deb2023-01-30 10:35 33K 
[   ]mini-dinstall_0.7.0_all.deb2019-07-31 02:17 40K 
[   ]mini-dinstall_0.6.31_all.deb2017-09-06 08:12 41K 
[   ]mini-dinstall_0.7.0.tar.xz2019-07-31 01:37 41K 
[   ]mini-dinstall_0.6.31.tar.xz2017-09-06 08:12 41K 
[   ]mini-dinstall_0.7.2.tar.xz2023-01-30 10:00 42K 
[   ]mini-dinstall_0.7.3.tar.xz2024-05-23 00:32 42K 

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