Migration excuse for: coq 8.20.0+dfsg-1

Is candidate
Maintainer Debian OCaml Maintainers
Source (version: 8.20.0+dfsg-1)
Destination (old version: 8.19.1+dfsg-2)

Age

Package is 23 days old (needed 5)

Blocked By

  • ocaml

Migrates After

  • aac-tactics
  • coq-dpdgraph
  • coq-equations
  • coq-ext-lib
  • coq-gappa
  • coq-hammer
  • coq-hott
  • coq-libhyps
  • coq-menhirlib
  • coq-mtac2
  • coq-record-update
  • coq-reduction-effects
  • coq-serapi
  • coq-simple-io
  • coq-stdpp
  • coq-unicoq
  • coq-unimath
  • findlib
  • flocq
  • ocaml-zarith
  • ott
  • paramcoq

Other Reasons

  • Migration status for coq (8.19.1+dfsg-2 to 8.20.0+dfsg-1): BLOCKED: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Depends: coq <a href="#ocaml">ocaml</a> (not considered)
  • Invalidated by dependency
  • Depends: coq <a href="#findlib">findlib</a>
  • Depends: coq <a href="#ocaml-zarith">ocaml-zarith</a>
  • Implicit dependency: coq <a href="#aac-tactics">aac-tactics</a>
  • Implicit dependency: coq <a href="#coq-dpdgraph">coq-dpdgraph</a>
  • Implicit dependency: coq <a href="#coq-equations">coq-equations</a>
  • Implicit dependency: coq <a href="#coq-ext-lib">coq-ext-lib</a>
  • Implicit dependency: coq <a href="#coq-gappa">coq-gappa</a>
  • Implicit dependency: coq <a href="#coq-hammer">coq-hammer</a>
  • Implicit dependency: coq <a href="#coq-hott">coq-hott</a>
  • Implicit dependency: coq <a href="#coq-libhyps">coq-libhyps</a>
  • Implicit dependency: coq <a href="#coq-menhirlib">coq-menhirlib</a>
  • Implicit dependency: coq <a href="#coq-mtac2">coq-mtac2</a>
  • Implicit dependency: coq <a href="#coq-record-update">coq-record-update</a>
  • Implicit dependency: coq <a href="#coq-reduction-effects">coq-reduction-effects</a>
  • Implicit dependency: coq <a href="#coq-serapi">coq-serapi</a>
  • Implicit dependency: coq <a href="#coq-simple-io">coq-simple-io</a>
  • Implicit dependency: coq <a href="#coq-stdpp">coq-stdpp</a>
  • Implicit dependency: coq <a href="#coq-unicoq">coq-unicoq</a>
  • Implicit dependency: coq <a href="#coq-unimath">coq-unimath</a>
  • Implicit dependency: coq <a href="#flocq">flocq</a>
  • Implicit dependency: coq <a href="#ott">ott</a>
  • Implicit dependency: coq <a href="#paramcoq">paramcoq</a>