» Ubuntu » Packages » tenacious » Source » misc » dh-coq
[  noble  ] [  resolute  ] [  stonking  ] [  tenacious  ]

Source Package: dh-coq (0.17) [universe]

About

published in section universe

Ubuntu Resources:

Maintainer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Наступні двійкові пакунки побудовано з цього джерельного пакунка:
debian-coq-tools
various tools to manage Coq-related Debian packages
dh-coq
debhelper tool for Coq-related Debian packages

Інші пакунки пов'язані з dh-coq

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Пакунок недоступний

Download dh-coq

ФайлРозмір (в кБ)MD5 checksum
dh-coq_0.17.dsc 1.9 kB e61c5394f164eeb2a0e7ca096a8bf95c
dh-coq_0.17.tar.xz 10.7 kB 746854a7e9d753eba8c61373ac07de76
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/dh-coq.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/dh-coq