Пакунок: debian-coq-tools (0.5)

[ Source: 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	6.1 kB	26.0 kB	[список файлів]