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

Name Size Date
📁 ../ - -
📄 metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz 3220 bytes 2021-01-06 17:34:23
📄 metamath-databases_0.0.0~20210101.git55fe226-2.dsc 1474 bytes 2021-01-06 17:34:23
📄 metamath-databases_0.0.0~20210101.git55fe226-2_all.deb 12847544 bytes 2021-01-06 17:35:09
📄 metamath-databases_0.0.0~20210101.git55fe226-2build1.debian.tar.xz 3316 bytes 2025-12-16 22:16:45
📄 metamath-databases_0.0.0~20210101.git55fe226-2build1.dsc 2103 bytes 2025-12-16 22:16:45
📄 metamath-databases_0.0.0~20210101.git55fe226-2build1_all.deb 13441564 bytes 2025-12-16 22:25:19
📄 metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz 12908456 bytes 2021-01-01 17:19:56