Removing packages from stonking:
coq-interval 4.11.1-1build16 in stonking
libcoq-interval 4.11.1-1build16 in stonking amd64
libcoq-interval 4.11.1-1build16 in stonking amd64v3
libcoq-interval 4.11.1-1build16 in stonking arm64
libcoq-interval 4.11.1-1build16 in stonking ppc64el
libcoq-interval 4.11.1-1build16 in stonking riscv64
libcoq-interval 4.11.1-1build16 in stonking s390x
Comment: blocking coq
Remove [y|N]? y
1 package successfully removed.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2167847
Title:
coquelicot: autopkgtest regression
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/coq-interval/+bug/2167847/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
