всички настройки
bookworm  ] [  trixie  ] [  sid  ]

Пакет-източник: coq-dpdgraph (1.0+8.18-1)

Връзки за coq-dpdgraph

Ресурси за Debian:

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

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

Следните двоични пакети са компилирани от този пакет-източник:
coq-dpdgraph-tools
Coq plugin to extract dependencies between Coq objects (tools)
libcoq-dpdgraph
Coq plugin to extract dependencies between Coq objects

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

  • зависимости при компилиране
  • зависимости при компилиране (архитектурно-независими)

Download coq-dpdgraph

ФайлГолемина (в кБ)контролна сума MD5
coq-dpdgraph_1.0+8.18-1.dsc 2,2 кБ b6d4400a089dfd6e553c7edfd5ca0589
coq-dpdgraph_1.0+8.18.orig.tar.gz 64,5 кБ c3caa1eb335dfd62a4431769473e35cb
coq-dpdgraph_1.0+8.18-1.debian.tar.xz 3,0 кБ 42743c021c00e9c35497347f36b5b20e
Хранилище на изходния код на пакета (СКП: Git)
https://salsa.debian.org/ocaml-team/coq-dpdgraph.git
Хранилище на изходния код на пакета (за разглеждане през браузър)
https://salsa.debian.org/ocaml-team/coq-dpdgraph