Package: debian-coq-tools
Source: dh-coq
Version: 0.14build2
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 39
Depends: python3:any
Section: ocaml
Priority: optional
Multi-Arch: foreign
Description: various tools to manage Coq-related Debian packages
 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.
