Index of /linux/ubuntu-updates/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 
[   ]metamath_0.198-1.debian.tar.xz07-Dec-2025 18:34 2.0K 
[TXT]metamath_0.198-1.dsc07-Dec-2025 18:34 1.2K 
[   ]metamath_0.198-1_amd64.deb07-Dec-2025 20:38 405K 
[   ]metamath_0.198-1_amd64v3.deb07-Dec-2025 20:38 432K 
[   ]metamath_0.198-2.debian.tar.xz08-Dec-2025 13:18 2.1K 
[TXT]metamath_0.198-2.dsc08-Dec-2025 13:18 1.2K 
[   ]metamath_0.198-2_amd64.deb08-Dec-2025 13:18 405K 
[   ]metamath_0.198-2_amd64v3.deb08-Dec-2025 13:18 432K 
[   ]metamath_0.198.orig.tar.gz07-Dec-2025 18:34 458K 

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