Removing packages from stonking:
coquelicot 3.4.3-1build10 in stonking
libcoq-coquelicot 3.4.3-1build10 in stonking amd64
libcoq-coquelicot 3.4.3-1build10 in stonking amd64v3
libcoq-coquelicot 3.4.3-1build10 in stonking arm64
libcoq-coquelicot 3.4.3-1build10 in stonking ppc64el
libcoq-coquelicot 3.4.3-1build10 in stonking riscv64
libcoq-coquelicot 3.4.3-1build10 in stonking s390x
Comment: blocking coq, LP: #2167847
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
