![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | metamath-dbgsym_0.180-1_amd64.ddeb | 2020-01-03 00:42 | 452K | |
![]() | metamath-dbgsym_0.180-1_arm64.ddeb | 2020-01-03 00:42 | 458K | |
![]() | metamath-dbgsym_0.180-1_armhf.ddeb | 2020-01-03 00:42 | 433K | |
![]() | metamath-dbgsym_0.180-1_ppc64el.ddeb | 2020-01-03 00:42 | 464K | |
![]() | metamath-dbgsym_0.180-1_riscv64.ddeb | 2020-04-18 19:01 | 470K | |
![]() | metamath-dbgsym_0.180-1_s390x.ddeb | 2020-01-03 00:42 | 539K | |
![]() | metamath-dbgsym_0.195-1_amd64.ddeb | 2021-01-01 17:41 | 479K | |
![]() | metamath-dbgsym_0.195-1_arm64.ddeb | 2021-01-01 17:42 | 480K | |
![]() | metamath-dbgsym_0.195-1_armhf.ddeb | 2021-01-01 17:42 | 457K | |
![]() | metamath-dbgsym_0.195-1_ppc64el.ddeb | 2021-01-01 17:41 | 484K | |
![]() | metamath-dbgsym_0.195-1_riscv64.ddeb | 2021-01-01 18:41 | 496K | |
![]() | metamath-dbgsym_0.195-1_s390x.ddeb | 2021-01-01 17:44 | 564K | |