Package: coq-doc

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

Architectures: armel

Summary: unsatisfied dependency on nodejs

coq-doc (8.20.0-2) [PTS] [ctrl]
   ↓ node-mathjax-full
node-mathjax-full (3.2.2+~cs4.2.1-4) [PTS] [ctrl]
   ↓ nodejs
MISSING