src:dh-coq
Date: 2025-11-01 05:00:01
Debian testing (main only)
| package | summary |
|---|---|
| debian-coq-tools (= 0.14) | unsatisfied dependency on python3 |
Build-dependencies testing (main only)
| package | summary |
|---|---|
| dh-coq (= 0.14) | unsatisfied dependency on build-essential |