Package: libfloat-coq

Scenario: unstable_main
Date: 2019-09-16 05:00:03

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

Summary: unsatisfied dependency on coq-8.4pl4+4.02.3

libfloat-coq (1:8.4-5) [PTS] [ctrl] [Bug #813596]
   ↓ coq-8.4pl4+4.02.3
MISSING