套件：debian-coq-tools（0.8）

[ 原始碼： dh-coq  ]

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.

其他與 debian-coq-tools 有關的套件

• dep: python3

  interactive high-level object-oriented language (default python3 version)

下載 debian-coq-tools

下載可用於所有硬體架構的

硬體架構	套件大小	安裝後大小	檔案
all	7。2 kB	29。0 kB	[檔案列表]