Package: libfloat-coq

Scenario: unstable_main
Date: 2019-06-24 05:00:04

Architectures: amd64, arm64, armel, armhf, i386, mips, 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