Ubuntu Autopkgtest

coq

focal groovy hirsute
amd64 pass pass pass
arm64 pass pass pass
armhf pass pass pass
ppc64el pass pass pass
s390x pass pass fail