Installability status: in unstable, in Ubuntu.

Check list

List of things you should check / do while updating your package:

Ongoing transitions

Coq

Handled by StephaneGlondu. (buildd)

Sourceful uploads:

BinNMUs:

Problematic, but can be temporarily removed from testing:

Postponed:

Ocsigen

Handled by StephaneGlondu. (buildd)

Sourceful uploads:

BinNMUs:

Delayed:

Postponed:

Future transitions

OCaml

See http://lists.debian.org/518A2D51.7010306@debian.org

Out-of-date packages

See also DDPO.