Пакет: dh-coq (0.13)

[ Источник: dh-coq  ]

debhelper tool for Coq-related Debian packages

dh-coq is a tool to help maintain Coq-related Debian packages. It computes checksums to tighten dependencies between them.

Coq is a proof assistant for higher-order logic.

Другие пакеты, относящиеся к dh-coq

• rec: debhelper

  вспомогательные программы для debian/rules

Загрузка dh-coq

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
all	6,8 Кб	25,0 Кб	[список файлов]