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

Bug#827861: Please add coq-8.5 to jessie-backports



Control: tags 827861 wontfix

jessie has entered LTS, and LTS distributions no longer receive
backports (see https://backports.debian.org/news/stretch-backports/), so
this almost certainly isn’t going to happen.


Reply to: