Package: coq-doc Version: 8.6-1 Severity: serious Hi, coq-doc is several releases behind coq - how useful is this outdated documentation package? coq-doc | 8.4pl4-2 | stretch/non-free | source coq-doc | 8.6-1 | sid/non-free | source coq | 8.6-4 | stretch | source coq | 8.9.0-1 | buster | source coq | 8.12.0-3 | bullseye | source coq | 8.14.1+dfsg-1 | bookworm | source coq | 8.14.1+dfsg-1 | sid | source Andreas