Index of /pub/linux/ubuntu/pool/universe/m/metamath/

Filename	Modification time	Size
metamath_0.180-1.debian.tar.xz	2020-01-03 00:13 CET	2088 B
metamath_0.180-1.dsc	2020-01-03 00:13 CET	1208 B
metamath_0.180-1_amd64.deb	2020-01-03 00:58 CET	327 KiB
metamath_0.180.orig.tar.gz	2020-01-03 00:13 CET	434 KiB
metamath_0.195-1.debian.tar.xz	2021-01-01 18:19 CET	1928 B
metamath_0.195-1.dsc	2021-01-01 18:19 CET	1208 B
metamath_0.195-1_amd64.deb	2021-01-01 18:34 CET	336 KiB
metamath_0.195.orig.tar.gz	2021-01-01 18:19 CET	456 KiB