Пакет: libcoq-dpdgraph (1.0+8.17-1 и другие) [debports]
Ссылки для libcoq-dpdgraph
Ресурсы Debian:
Исходный код :
Не найденСопровождающие:
Внешние ресурсы:
- Сайт [github.com]
Подобные пакеты:
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
|
|
|
|
-
- dep: libcoq-stdlib-n0k10
- виртуальный пакет, предоставляемый libcoq-stdlib
Загрузка libcoq-dpdgraph
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| ppc64 (неофициальный перенос) | 1.0+8.17-1+b1 | 33,9 Кб | 271,0 Кб | [список файлов] |