[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#919462: coq ftbfs on some release architectures



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.


Reply to: