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

Thu, 04 Apr 2019 12:15:35 -0700 

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 via email to