uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /ubuntu/pool/universe/m/metamath-databases/

Show dotfiles
Name
Last modified
Size
../
-
-
metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz
06-Jan-2021 17:34
3.14 KB
metamath-databases_0.0.0~20210101.git55fe226-2.dsc
06-Jan-2021 17:34
1.44 KB
metamath-databases_0.0.0~20210101.git55fe226-2_all.deb
06-Jan-2021 17:35
12.25 MB
metamath-databases_0.0.0~20210101.git55fe226-2build1.debian.tar.xz
16-Dec-2025 22:16
3.24 KB
metamath-databases_0.0.0~20210101.git55fe226-2build1.dsc
16-Dec-2025 22:16
2.05 KB
metamath-databases_0.0.0~20210101.git55fe226-2build1_all.deb
16-Dec-2025 22:25
12.82 MB
metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz
01-Jan-2021 17:19
12.31 MB