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

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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz3.1 KiB06 Jan 2021 17:34:23 +0000
metamath-databases_0.0.0~20210101.git55fe226-2.dsc1.4 KiB06 Jan 2021 17:34:23 +0000
metamath-databases_0.0.0~20210101.git55fe226-2_all.deb12.3 MiB06 Jan 2021 17:35:09 +0000
metamath-databases_0.0.0~20210101.git55fe226-2build1.debian.tar.xz3.2 KiB16 Dec 2025 22:16:45 +0000
metamath-databases_0.0.0~20210101.git55fe226-2build1.dsc2.1 KiB16 Dec 2025 22:16:45 +0000
metamath-databases_0.0.0~20210101.git55fe226-2build1_all.deb12.8 MiB16 Dec 2025 22:25:19 +0000
metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz12.3 MiB01 Jan 2021 17:19:56 +0000