debian/pool/main/m/metamath • Linux Public Mirror - VISION Technologies Limited

Welcome to VISION Mirror Server

This mirror is hosted in VISION Technologies Limited Tier III Data Center in Bangladesh

Home / debian / pool / main / m / metamath

File Name

Size

Last Modified

..

—

—
metamath_0.195-1+b1_arm64.deb

342.11KB

October 28, 2024, 8:55 am

metamath_0.195-1+b1_riscv64.deb

384.65KB

February 11, 2024, 12:44 pm

metamath_0.195-1.debian.tar.xz

1.88KB

January 1, 2021, 10:43 am

metamath_0.195-1.dsc

1.18KB

January 1, 2021, 10:43 am

metamath_0.195-1_amd64.deb

335.59KB

January 1, 2021, 11:14 am

metamath_0.195-1_arm64.deb

332.64KB

January 1, 2021, 11:14 am

metamath_0.195-1_armel.deb

314.70KB

January 1, 2021, 11:14 am

metamath_0.195-1_armhf.deb

307.61KB

January 1, 2021, 11:14 am

metamath_0.195-1_i386.deb

341.04KB

January 1, 2021, 11:14 am

metamath_0.195-1_mips64el.deb

347.38KB

January 1, 2021, 11:59 am

metamath_0.195-1_mipsel.deb

352.62KB

January 1, 2021, 1:14 pm

metamath_0.195-1_ppc64el.deb

382.76KB

January 1, 2021, 11:14 am

metamath_0.195-1_s390x.deb

302.61KB

January 1, 2021, 11:04 am

metamath_0.195.orig.tar.gz

455.93KB

January 1, 2021, 10:43 am