Package: coq-doc-html

Scenario: testing_contrib+nonfree
Date: 2025-09-07 05:00:01

Summary: unsatisfied dependency on dpkg (>= 1.15.6~)

coq-doc-html (8.20.0-2) [PTS] [ctrl]
   ↓ sphinx-rtd-theme-common (>= 3.0.2+dfsg)
sphinx-rtd-theme-common (3.0.2+dfsg-3) [PTS] [ctrl]
   ↓ fonts-lato
fonts-lato (2.015-1) [PTS] [ctrl]
   ↓ dpkg (>= 1.15.6~)
MISSING