/beige/pool/community/m/metamath/

0 directories 13 files
Name Size Modified
Go up — —
metamath-dbgsym_0.195-1_amd64.deb 481 KiB
metamath-dbgsym_0.195-1_arm64.deb 477 KiB
metamath-dbgsym_0.195-1_i386.deb 390 KiB
metamath-dbgsym_0.195-1_loong64.deb 515 KiB
metamath-dbgsym_0.195-1_riscv64.deb 494 KiB
metamath_0.195-1.debian.tar.xz 1.9 KiB
metamath_0.195-1.dsc 930 B
metamath_0.195-1_amd64.deb 336 KiB
metamath_0.195-1_arm64.deb 328 KiB
metamath_0.195-1_i386.deb 340 KiB
metamath_0.195-1_loong64.deb 343 KiB
metamath_0.195-1_riscv64.deb 356 KiB
metamath_0.195.orig.tar.gz 456 KiB