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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz12.3 MiB01.01.2021 17:19
metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz3.1 KiB06.01.2021 17:34
metamath-databases_0.0.0~20210101.git55fe226-2.dsc1.4 KiB06.01.2021 17:34
metamath-databases_0.0.0~20210101.git55fe226-2_all.deb12.3 MiB06.01.2021 17:35
metamath-databases_0.0.0~20210101.git55fe226-2build1.debian.tar.xz3.2 KiB16.12.2025 22:16
metamath-databases_0.0.0~20210101.git55fe226-2build1.dsc2.1 KiB16.12.2025 22:16
metamath-databases_0.0.0~20210101.git55fe226-2build1_all.deb12.8 MiB16.12.2025 22:25