Ubuntu Autopkgtest

coq

focal hirsute impish jammy
amd64 pass pass pass pass
arm64 pass pass pass pass
armhf pass pass pass pass
ppc64el pass pass pass pass
s390x pass fail pass pass