» Ubuntu » Balíky » resolute (26.04LTS) » Zdroj » misc » dh-coq
[  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Zdrojový balík: dh-coq (0.14build1) [universe]

Odkazy pre dh-coq

Zdroje Ubuntu:

Správca:

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.

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
debian-coq-tools
various tools to manage Coq-related Debian packages
dh-coq
debhelper tool for Coq-related Debian packages

Ostatné balíky súvisiace s balíkom dh-coq

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Balík nie je dostupný

Download dh-coq

SúborVeľkosť (v kB)kontrolný súčet MD5
dh-coq_0.14build1.tar.xz 10.5 kB 9e5dd8546bb95095d417d2904283d21f
dh-coq_0.14build1.dsc 1.6 kB 21922b332086da1a74973f32b12dc716
Úložisko zdrojových balíkov Debianu (VCS: Git)
https://salsa.debian.org/ocaml-team/dh-coq.git
Úložisko zdrojových balíkov Debianu (možno prezerať)
https://salsa.debian.org/ocaml-team/dh-coq