Index of /debian/pool/main/m/metamath-databases


Name ↑ Last modified Size

Parent Directory  -  -
metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz  06-Jan-2021 08:47  3.1 KiB
metamath-databases_0.0.0~20210101.git55fe226-2.dsc  06-Jan-2021 08:47  1.4 KiB
metamath-databases_0.0.0~20210101.git55fe226-2_all.deb  06-Jan-2021 09:03  12 MiB
metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz  01-Jan-2021 10:44  12 MiB

pub.gotlandia.net — 0 directories, 4 files