eLxr packages

 / Пакети / bianca (stable) / Източник / - / dh-coq

[  bianca  ]

Връзки за dh-coq

• Хранилище на изходен код (Git)

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

• Debian OCaml Maintainers
• Julien Puydt

Следните двоични пакети са компилирани от този пакет-източник:

debian-coq-tools

various tools to manage Coq-related Debian packages

dh-coq

debhelper tool for Coq-related Debian packages

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

зависимости при компилиране

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

• adep: debhelper-compat (= 13)

  Пакетът не е наличен

Download dh-coq

Файл	Големина (в кБ)	контролна сума MD5
dh-coq_0.14.dsc	1,6 кБ	50d72dc12f759b52d956d7b5c630b72f
dh-coq_0.14.tar.xz	10,4 кБ	8a15e30550f7e3e7abe5ae338e840289

Хранилище на изходния код на пакета (СКП: Git)

https://salsa.debian.org/ocaml-team/dh-coq.git

Хранилище на изходния код на пакета (за разглеждане през браузър)

https://salsa.debian.org/ocaml-team/dh-coq