все параметры
bookworm  ] [  trixie  ] [  sid  ]
[ Источник: dh-coq  ]

Пакет: debian-coq-tools (0.11)

Ссылки для debian-coq-tools

Screenshot

Ресурсы Debian:

Исходный код 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

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка debian-coq-tools

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
all 7,4 Кб29,0 Кб [список файлов]