Debian-Coq-Tools

• coq-planif-transition(1) planification of a transition
• coq-wanna-build(1) compute dak script for a transition