../ metamath_0.180-1.debian.tar.xz 08-Sep-2021 03:32 2088 metamath_0.180-1.dsc 08-Sep-2021 03:32 1208 metamath_0.180-1_amd64.deb 18-Nov-2020 02:28 327K metamath_0.180.orig.tar.gz 08-Sep-2021 03:32 434K metamath_0.195-1.debian.tar.xz 06-Nov-2024 22:21 1928 metamath_0.195-1.dsc 06-Nov-2024 22:21 1208 metamath_0.195-1_amd64.deb 29-Aug-2022 18:28 336K metamath_0.195.orig.tar.gz 06-Nov-2024 22:21 456K