Index of /ubuntu-ports/pool/universe/m/metamath

	Name	Last modified	Size
	Parent Directory		-
	metamath_0.180-1.dsc	2020-01-02 23:13	1.2K
	metamath_0.195-1.dsc	2021-01-01 17:19	1.2K
	metamath_0.198-1.dsc	2025-12-07 05:34	1.2K
	metamath_0.198-2.dsc	2025-12-08 00:18	1.2K
	metamath_0.195-1.debian.tar.xz	2021-01-01 17:19	1.9K
	metamath_0.198-1.debian.tar.xz	2025-12-07 05:34	2.0K
	metamath_0.180-1.debian.tar.xz	2020-01-02 23:13	2.0K
	metamath_0.198-2.debian.tar.xz	2025-12-08 00:18	2.1K
	metamath_0.180-1_armhf.deb	2020-01-02 23:58	300K
	metamath_0.195-1_armhf.deb	2021-01-01 17:35	308K
	metamath_0.180-1_arm64.deb	2020-01-02 23:58	328K
	metamath_0.195-1_arm64.deb	2021-01-01 17:35	332K
	metamath_0.180-1_riscv64.deb	2020-04-03 10:14	346K
	metamath_0.198-1_armhf.deb	2025-12-07 07:38	349K
	metamath_0.198-2_armhf.deb	2025-12-08 00:18	349K
	metamath_0.180-1_s390x.deb	2020-01-02 23:58	351K
	metamath_0.195-1_riscv64.deb	2021-01-01 17:49	355K
	metamath_0.195-1_s390x.deb	2021-01-01 17:19	361K
	metamath_0.180-1_ppc64el.deb	2020-01-02 23:58	372K
	metamath_0.195-1_ppc64el.deb	2021-01-01 17:35	380K
	metamath_0.198-1_s390x.deb	2025-12-07 07:38	409K
	metamath_0.198-2_s390x.deb	2025-12-08 00:19	409K
	metamath_0.180.orig.tar.gz	2020-01-02 23:13	434K
	metamath_0.198-1_arm64.deb	2025-12-07 07:38	443K
	metamath_0.198-2_arm64.deb	2025-12-08 00:18	443K
	metamath_0.198-1_riscv64.deb	2025-12-07 07:38	451K
	metamath_0.198-2_riscv64.deb	2025-12-08 00:19	451K
	metamath_0.195.orig.tar.gz	2021-01-01 17:19	456K
	metamath_0.198.orig.tar.gz	2025-12-07 05:34	458K
	metamath_0.198-1_ppc64el.deb	2025-12-07 07:38	506K
	metamath_0.198-2_ppc64el.deb	2025-12-08 00:19	506K