File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
metamath_0.180-1.debian.tar.xz	2.0 KiB	2020-01-02 13:13
metamath_0.180-1.dsc	1.2 KiB	2020-01-02 13:13
metamath_0.180-1_amd64.deb	327.3 KiB	2020-01-02 13:58
metamath_0.180.orig.tar.gz	434.4 KiB	2020-01-02 13:13
metamath_0.195-1.debian.tar.xz	1.9 KiB	2021-01-01 07:19
metamath_0.195-1.dsc	1.2 KiB	2021-01-01 07:19
metamath_0.195-1_amd64.deb	335.7 KiB	2021-01-01 07:34
metamath_0.195.orig.tar.gz	455.9 KiB	2021-01-01 07:19