debian-coq-tools
various tools to manage Coq-related Debian packages
Command lineDevelopment
Not tested on a device yet. What that means
Commands in the package
coq-check-packagescoq-planif-transitioncoq-platform-comparisoncoq-wanna-build
About debian-coq-tools
From Debian's package description
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.
From Debian's description of the debian-coq-tools package, under that package's license.
Dependencies
Depends on
Related apps
- dh-coqdebhelper tool for Coq-related Debian packagesCommand line
- pyenvSimple Python version managementCommand line
- translate-toolkitToolkit assisting in the localization of softwareCommand line
- autopkgtestautomatic as-installed testing for Debian packagesCommand line
- source-highlightconvert source code to syntax highlighted documentCommand line
BuilderCreate applications for GNOME
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the debian-coq-tools package, under that package's license.
- Description: Debian's description of the debian-coq-tools package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.