Package: coq-theories

Scenario: unstable_main
Date: 2022-10-02 05:00:01

Architectures: amd64, arm64, armhf, i386, ppc64el, s390x

Summary: unsatisfied dependency on coq-8.15.0+4.13.1

coq-theories (8.15.0+dfsg-1+b1) [PTS] [ctrl]
   ↓ coq-8.15.0+4.13.1
MISSING