src:coq-doc
Date: 2025-10-10 05:00:02
Debian testing (contrib and non-free only)
| package | summary |
|---|---|
| coq-doc (= 8.20.0-2) | unsatisfied dependency on nodejs |
| coq-doc-html (= 8.20.0-2) | unsatisfied dependency on dpkg (>= 1.15.6~) |
Date: 2025-10-10 05:00:02
| package | summary |
|---|---|
| coq-doc (= 8.20.0-2) | unsatisfied dependency on nodejs |
| coq-doc-html (= 8.20.0-2) | unsatisfied dependency on dpkg (>= 1.15.6~) |