Index of /pool/universe/m/metamath

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]metamath-dbgsym_0.180-1_amd64.ddeb2020-01-03 00:42 452K 
[   ]metamath-dbgsym_0.180-1_arm64.ddeb2020-01-03 00:42 458K 
[   ]metamath-dbgsym_0.180-1_armhf.ddeb2020-01-03 00:42 433K 
[   ]metamath-dbgsym_0.180-1_ppc64el.ddeb2020-01-03 00:42 464K 
[   ]metamath-dbgsym_0.180-1_riscv64.ddeb2020-04-18 19:01 470K 
[   ]metamath-dbgsym_0.180-1_s390x.ddeb2020-01-03 00:42 539K 
[   ]metamath-dbgsym_0.195-1_amd64.ddeb2021-01-01 17:41 479K 
[   ]metamath-dbgsym_0.195-1_arm64.ddeb2021-01-01 17:42 480K 
[   ]metamath-dbgsym_0.195-1_armhf.ddeb2021-01-01 17:42 457K 
[   ]metamath-dbgsym_0.195-1_ppc64el.ddeb2021-01-01 17:41 484K 
[   ]metamath-dbgsym_0.195-1_riscv64.ddeb2021-01-01 18:41 496K 
[   ]metamath-dbgsym_0.195-1_s390x.ddeb2021-01-01 17:44 564K 

Apache/2.4.29 (Ubuntu) Server at ddebs.ubuntu.com Port 80