Package: libcoq-dpdgraph (1.0+8.17-1 and others) [debports]
Links for libcoq-dpdgraph
Debian Resources:
Download Source Package :
Not foundMaintainers:
External Resources:
- Homepage [github.com]
Similar packages:
plugin per Coq per estrarre dipendenze tra oggetti di Coq
Questo pacchetto fornisce un plugin per Coq per estrarre dipendenze tra oggetti di Coq e produrre file con informazioni di dipendenza.
Coq รจ un assistente alle dimostrazioni per logiche di ordine superiore.
Questo pacchetto fornisce il plugin vero e proprio per Coq.
Other Packages Related to libcoq-dpdgraph
|
|
|
|
-
- dep: libcoq-stdlib-n0k10
- virtual package provided by libcoq-stdlib
Download libcoq-dpdgraph
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
ppc64 (unofficial port) | 1.0+8.17-1+b1 | 33.9 kB | 271.0 kB | [list of files] |