NAME

       coq-planif-transition - planification of a transition

SYNOPSIS

       coq-planif-transition [--org-mode] 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.

       To  make  this  planning  on package compilation and testing easier, the --org-mode option
       gives an output suitable for insertion in an Emacs org-mode file.

       If you use sbuild to compile the packages, with sbuild 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)