deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
Depends: python3
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.
Installed-Size: '26'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Multi-Arch: foreign
Package: debian-coq-tools
Priority: optional
Section: ocaml
Source: dh-coq
Version: '0.5'
srcpkg_name: dh-coq
srcpkg_version: '0.5'