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.
Package: coq
Version: 8.5-2
Severity: wishlist
Tags: jessie fixed-upstream security
It's great that Debian provides pre-compiled packages for Coq in the
official repositories. Yet currently projects face an unfortunate choice
between depending on an outdated version of Coq and not being able to
2 matches
Mail list logo