ubuntu/ubuntu/ubuntu/pool/universe/m/metamath • Public Open Source Mirror

Home / ubuntu / pool / universe / m / metamath

File Name

Size

Date

..

—

—
metamath_0.180-1.debian.tar.xz

2.04KB

2020-01-03 01:13:19

metamath_0.180-1.dsc

1.18KB

2020-01-03 01:13:18

metamath_0.180-1_amd64.deb

327.30KB

2020-01-03 01:58:21

metamath_0.180.orig.tar.gz

434.39KB

2020-01-03 01:13:18

metamath_0.195-1.debian.tar.xz

1.88KB

2021-01-01 19:19:56

metamath_0.195-1.dsc

1.18KB

2021-01-01 19:19:56

metamath_0.195-1_amd64.deb

335.74KB

2021-01-01 19:34:51

metamath_0.195.orig.tar.gz

455.93KB

2021-01-01 19:19:56

metamath_0.198-1.debian.tar.xz

2.00KB

2025-12-07 07:34:57

metamath_0.198-1.dsc

1.18KB

2025-12-07 07:34:57

metamath_0.198-1_amd64.deb

404.70KB

2025-12-07 09:38:18

metamath_0.198-1_amd64v3.deb

432.00KB

2025-12-07 09:38:22

metamath_0.198-2.debian.tar.xz

2.14KB

2025-12-08 02:18:17

metamath_0.198-2.dsc

1.18KB

2025-12-08 02:18:17

metamath_0.198-2_amd64.deb

404.77KB

2025-12-08 02:18:39

metamath_0.198-2_amd64v3.deb

432.09KB

2025-12-08 02:18:47

metamath_0.198.orig.tar.gz

457.66KB

2025-12-07 07:34:57