Removing packages from artful:
why 2.38-1ubuntu1 in artful
libwhy-coq 2.38-1ubuntu1 in artful amd64
libwhy-coq 2.38-1ubuntu1 in artful arm64
libwhy-coq 2.38-1ubuntu1 in artful armhf
libwhy-coq 2.38-1ubuntu1 in artful i386
libwhy-coq 2.38-1ubuntu1 in artful ppc64el
libwhy-coq 2.38-1ubuntu1 in artful s390x
why 2.38-1ubuntu1 in artful amd64
why 2.38-1ubuntu1 in artful armhf
why 2.38-1ubuntu1 in artful i386
why 2.38-1ubuntu1 in artful ppc64el
why 2.38-1ubuntu1 in artful s390x
Comment: FTBFS, uninstallable with new coq, removed from Debian testing; Debian
bug #872281, LP: #1714223
1 package successfully removed.
** Changed in: why (Ubuntu)
Status: Triaged => 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/1714223
Title:
RM why FTBFS on most arches, removed from stable/testing
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/why/+bug/1714223/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
