Package: libfloat-coq

Scenario: unstable_main
Date: 2021-10-20 05:00:02

Architectures: amd64, arm64, armel, armhf, i386, mips64el, mipsel, ppc64el, s390x

Summary: unsatisfied dependency on coq-8.11.0+4.08.1

libfloat-coq (1:8.10.0-1) [PTS] [ctrl]
   ↓ coq-8.11.0+4.08.1
MISSING