../ metamath_0.180-1.debian.tar.xz 25-Aug-2023 23:51 2088 metamath_0.180-1.dsc 25-Aug-2023 23:51 1208 metamath_0.180-1_amd64.deb 25-Aug-2023 23:51 335160 metamath_0.180.orig.tar.gz 25-Aug-2023 23:51 444814 metamath_0.195-1.debian.tar.xz 27-Aug-2023 04:54 1928 metamath_0.195-1.dsc 27-Aug-2023 04:54 1208 metamath_0.195-1_amd64.deb 27-Aug-2023 04:54 343800 metamath_0.195.orig.tar.gz 27-Aug-2023 04:54 466876