metamath

	Name	Size	Modified
	..	—	—
	metamath-dbgsym_0.195-1_loong64.deb	486 KB	Tue Oct 29 12:18:53 2024
	metamath_0.195-1.debian.tar.xz	1 KB	Fri Nov 8 04:23:57 2024
	metamath_0.195-1.dsc	1 KB	Fri Nov 8 04:23:57 2024
	metamath_0.195-1_loong64.deb	343 KB	Tue Oct 29 12:18:51 2024
	metamath_0.195.orig.tar.gz	455 KB	Fri Nov 8 04:23:57 2024