37.4 MiB
7 files
0 directories
Index of /ubuntu/pool/universe/m/metamath-databases/
Filename Modified Size Type
[Parent Directory]---
metamath-databases_0.0.0~20210101.git55fe226-2_all.deb06/01/21 17:3506/01/2112.3 MiB[Save][Download]
metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz06/01/21 17:3406/01/213.1 KiB[Save][Download]
metamath-databases_0.0.0~20210101.git55fe226-2.dsc06/01/21 17:3406/01/211.4 KiB[Save][Download]
metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz01/01/21 17:1901/01/2112.3 MiB[Save][Download]
metamath-databases_0.0.0~20210101.git55fe226-2build1.debian.tar.xz16/12/25 22:1616/12/253.2 KiB[Save][Download]
metamath-databases_0.0.0~20210101.git55fe226-2build1.dsc16/12/25 22:1616/12/252.1 KiB[Save][Download]
metamath-databases_0.0.0~20210101.git55fe226-2build1_all.deb16/12/25 22:2516/12/2512.8 MiB[Save][Download]
Page generated in 0.001431 seconds
Browsing /ubuntu/pool/universe/m/metamath-databases/ @ mirror.ihost.md