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

	Name	Last modified	Size	Description
	Parent Directory		-
	metamath_0.180-1_amd64.deb	2020-01-03 00:58	327K
	metamath_0.195-1_amd64.deb	2021-01-01 18:34	336K
	metamath_0.198-2_amd64.deb	2025-12-08 01:18	405K