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