Removing packages from stonking-proposed:
coquelicot 3.4.4-5build1 in stonking
libcoq-coquelicot 3.4.4-5build1 in stonking amd64
libcoq-coquelicot 3.4.4-5build1 in stonking amd64v3
libcoq-coquelicot 3.4.4-5build1 in stonking arm64
libcoq-coquelicot 3.4.4-5build1 in stonking ppc64el
libcoq-coquelicot 3.4.4-5build1 in stonking riscv64
libcoq-coquelicot 3.4.4-5build1 in stonking s390x
coq-interval 4.11.4-3build1 in stonking
libcoq-interval 4.11.4-3build1 in stonking amd64
libcoq-interval 4.11.4-3build1 in stonking amd64v3
libcoq-interval 4.11.4-3build1 in stonking arm64
libcoq-interval 4.11.4-3build1 in stonking ppc64el
libcoq-interval 4.11.4-3build1 in stonking riscv64
libcoq-interval 4.11.4-3build1 in stonking s390x
Comment: Incomplete transition, autopkgtest failing, removed from testing (lp:
#2167847)
2 packages successfully removed.
** Changed in: coq-interval (Ubuntu)
Status: New => Fix Released
** Changed in: coquelicot (Ubuntu)
Status: New => Fix Released
--
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
