Index of /kali/pool/main/m/metamath-databases/

/kali/pool/main/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 08:47:58 +0000
metamath-databases_0.0.0~20210101.git55fe226-2.dsc1.4 KiB06 Jan 2021 08:47:58 +0000
metamath-databases_0.0.0~20210101.git55fe226-2_all.deb12.3 MiB06 Jan 2021 09:03:15 +0000
metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz12.3 MiB01 Jan 2021 10:44:04 +0000