src:coq-doc
Date: 2025-09-19 05:00:01
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-09-19 05:00:01
| 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~) |