всички настройки
bookworm  ] [  trixie  ] [  sid  ]
[ Източник: dh-coq  ]

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

Връзки за dh-coq

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник 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

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на dh-coq

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
all 7,3 кБ26,0 кБ [списък на файловете]