debian-coq-tools 0.8 (riscv64 binary) in ubuntu noble

 Those tools make it easier to track package dependencies
 and possible breakage and maintain the whole Coq-in-Debian stack
 sane:
 - coq-planif-transition: find out which packages depend on some
 others for transition planification.
 - coq-wanna-build: compute the dak script for a planned transition.
 .
 Coq is a proof assistant for higher-order logic.