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

Bug#1003539: coq-doc: several releases behind coq



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


Reply to: