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

Home / ubuntu / pool / universe / m / metamath-databases

File Name

Size

Date

..

—

—
metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz

3.14KB

2021-01-06 19:34:23

metamath-databases_0.0.0~20210101.git55fe226-2.dsc

1.44KB

2021-01-06 19:34:23

metamath-databases_0.0.0~20210101.git55fe226-2_all.deb

12.25MB

2021-01-06 19:35:09

metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz

12.31MB

2021-01-01 19:19:56