Control: tag 919462 + pending Sorry for the radio silence. I misdiagnosed the issue in #10, but I have properly diagnosed it now and have a fix pending. I’m rolling the fix into my upload of 8.9.0, which should be coming in the next day.
- Bug#919462: coq ftbfs on some release architect... Matthias Klose
- Processed: Re: Bug#919462: coq ftbfs on so... Debian Bug Tracking System
- Bug#919462: coq ftbfs on some release arch... Benjamin Barenblat
- Bug#919462: coq ftbfs on some release ... Adrian Bunk
- Bug#919462: coq ftbfs on some rele... Benjamin Barenblat
- Processed: Re: Bug#919462: coq ftbfs on so... Debian Bug Tracking System
- Bug#919462: marked as done (coq FTBFS on a... Debian Bug Tracking System