Ubuntu
metamath package

Builds for metamath in Ubuntu Kinetic

	s390x build of metamath 0.195-1 in ubuntu hirsute PROPOSED Build started on 2021-01-01 on bos02-s390x-002 and finished on 2021-01-01 taking 2 minutes — see the log
	riscv64 build of metamath 0.195-1 in ubuntu hirsute PROPOSED Build started on 2021-01-01 on riscv64-qemu-lcy01-030 and finished on 2021-01-01 taking 20 minutes — see the log
	ppc64el build of metamath 0.195-1 in ubuntu hirsute PROPOSED Build started on 2021-01-01 on bos02-ppc64el-005 and finished on 2021-01-01 taking 3 minutes — see the log
	armhf build of metamath 0.195-1 in ubuntu hirsute PROPOSED Build started on 2021-01-01 on bos02-arm64-011 and finished on 2021-01-01 taking 5 minutes — see the log
	arm64 build of metamath 0.195-1 in ubuntu hirsute PROPOSED Build started on 2021-01-01 on bos02-arm64-058 and finished on 2021-01-01 taking 5 minutes — see the log
	amd64 build of metamath 0.195-1 in ubuntu hirsute PROPOSED Build started on 2021-01-01 on lgw01-amd64-052 and finished on 2021-01-01 taking 3 minutes — see the log