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


Filename File Size Date
..
metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz 3220 2025-05-20T19:42:36.679Z
metamath-databases_0.0.0~20210101.git55fe226-2.dsc 1474 2025-05-20T19:42:36.936Z
metamath-databases_0.0.0~20210101.git55fe226-2_all.deb 12847544 2025-05-20T19:42:37.952Z
metamath-databases_0.0.0~20210101.git55fe226-2build1.debian.tar.xz 3316 2025-12-17T02:52:49.679Z
metamath-databases_0.0.0~20210101.git55fe226-2build1.dsc 2103 2025-12-17T02:52:49.620Z
metamath-databases_0.0.0~20210101.git55fe226-2build1_all.deb 13441564 2025-12-17T02:52:50.480Z
metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz 12908456 2025-05-20T19:42:37.961Z