NAME

       coq-planif-transition - planification of a transition

SYNOPSIS

       coq-planif-transition srcpkg1 ... srcpkgN

DESCRIPTION

       This  script  can  be  used  when  new  versions  of  Coq  packages get released, to check
       everything is ok with the rest of the stack.

       You're supposed to call it with a space-separated list of packages with a new version, and
       the  result  is  generally several lines of space-separated package names corresponding to
       what needs to be rebuilt, where packages on the same line can  be  compiled  at  the  same
       time.

       If  you  use  sbuild to compile the packages, with sbuid configured with a local repo, you
       can then put the packages in the repo step by step and check that the new  versions  don't
       break anything.

EXAMPLES

       coq-planif-transition ssreflect coq-stdpp

AUTHORS

       Julien Puydt <jpuydt@debian.org>

                                                                         coq-planif-transition(1)