Index of /ubuntu/pool/universe/m/metamath

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]metamath_0.180-1.debian.tar.xz03-Jan-2020 12:13 2.0K 
[TXT]metamath_0.180-1.dsc03-Jan-2020 12:13 1.2K 
[   ]metamath_0.180-1_amd64.deb03-Jan-2020 12:58 327K 
[   ]metamath_0.180.orig.tar.gz03-Jan-2020 12:13 434K 
[   ]metamath_0.195-1.debian.tar.xz02-Jan-2021 06:19 1.9K 
[TXT]metamath_0.195-1.dsc02-Jan-2021 06:19 1.2K 
[   ]metamath_0.195-1_amd64.deb02-Jan-2021 06:34 336K 
[   ]metamath_0.195.orig.tar.gz02-Jan-2021 06:19 456K 

Apache/2.2.15 (Red Hat) Server at ucmirror.canterbury.ac.nz Port 80