Index of /mirror/release/1/ubuntu_amd64/pool/main/m/metamath

	Name	Last modified	Size	Description

	Parent Directory		-
	metamath_0.180-1_amd64.deb	2021-03-16 13:47	327K
	metamath_0.195-1_amd64.deb	2024-11-14 08:44	336K

Apache/2.4.66 (Debian) Server at 7s01.7si.ch Port 1081