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

Пакет: libcoq-dpdgraph (1.0+8.20-1 и други)

Връзки за libcoq-dpdgraph

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник coq-dpdgraph.

Отговорници:

Външни препратки:

Подобни пакети:

Coq plugin to extract dependencies between Coq objects

This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.

Coq is a proof assistant for higher-order logic.

This package provides the Coq plugin itself.

Други пакети, свързани с libcoq-dpdgraph

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

Изтегляне на libcoq-dpdgraph

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
amd64 1.0+8.20-1+b4 36,0 кБ253,0 кБ [списък на файловете]
arm64 1.0+8.20-1+b4 37,1 кБ269,0 кБ [списък на файловете]
ppc64el 1.0+8.20-1+b4 36,3 кБ269,0 кБ [списък на файловете]
riscv64 1.0+8.20-1+b4 36,6 кБ245,0 кБ [списък на файловете]
s390x 1.0+8.20-1+b4 36,1 кБ253,0 кБ [списък на файловете]