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

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Dimitri John Ledkov (xnox):

RM why FTBFS with  new coq, on most arches

removed from stable
removed from testing
FTBFS in unstable

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872281

** Affects: why (Ubuntu)
     Importance: High
         Status: Triaged

** Affects: why (Debian)
     Importance: Unknown
         Status: Unknown

-- 
RM why FTBFS on most arches, removed from stable/testing
https://bugs.launchpad.net/bugs/1714223
You received this bug notification because you are a member of Ubuntu Package Archive Administrators, which is subscribed to the bug report.