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 
[ ]metamath-dbgsym_0.198-1_amd64.ddeb2025-12-07 14:59 798K 
[ ]metamath-dbgsym_0.198-1_amd64v3.ddeb2025-12-07 14:59 814K 
[ ]metamath-dbgsym_0.198-1_arm64.ddeb2025-12-07 14:59 780K 
[ ]metamath-dbgsym_0.198-1_armhf.ddeb2025-12-07 15:00 475K 
[ ]metamath-dbgsym_0.198-1_ppc64el.ddeb2025-12-07 14:59 834K 
[ ]metamath-dbgsym_0.198-1_riscv64.ddeb2025-12-07 14:53 577K 
[ ]metamath-dbgsym_0.198-1_s390x.ddeb2025-12-07 14:59 800K 
[ ]metamath-dbgsym_0.198-2_amd64.ddeb2025-12-08 02:14 798K 
[ ]metamath-dbgsym_0.198-2_amd64v3.ddeb2025-12-08 02:13 814K 
[ ]metamath-dbgsym_0.198-2_arm64.ddeb2025-12-08 02:12 780K 
[ ]metamath-dbgsym_0.198-2_armhf.ddeb2025-12-08 02:12 475K 
[ ]metamath-dbgsym_0.198-2_ppc64el.ddeb2025-12-08 02:13 834K 
[ ]metamath-dbgsym_0.198-2_riscv64.ddeb2025-12-08 02:11 577K 
[ ]metamath-dbgsym_0.198-2_s390x.ddeb2025-12-08 02:13 800K 
Apache/2.4.29 (Ubuntu) Server at ddebs.ubuntu.com Port 80