src:coq-float

Date: 2021-10-19 05:00:02

Debian unstable (main only)

packagesummary
libfloat-coq (= 1:8.10.0-1)unsatisfied dependency on coq-8.11.0+4.08.1

Build-dependencies unstable (main only)

packagesummary
coq-float (= 1:8.10.0-1)unsatisfied dependency on coq (>= 8.9)