[Bug 1714223] Re: RM why FTBFS on most arches, removed from stable/testing

[Steve Langasek]

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
Package Archive Administrators, which is subscribed to the bug report.
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