パッケージ名 パッケージ説明 ソースパッケージ名 パッケージの内容 すべてのオプション

[  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ ソース: dh-coq  ]

dh-coq に関するリンク

Ubuntu の資源:

• バグ報告
• Ubuntu での変更履歴
• 著作権ファイル

dh-coq ソースパッケージをダウンロード:

• [dh-coq_0.14.dsc]
• [dh-coq_0.14.tar.xz]

メンテナ:

• Ubuntu MOTU Developers (メールアーカイブ)

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

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (メールアーカイブ)
• Julien Puydt

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

類似のパッケージ:

• dh-builtusing
• dh-ocaml
• dh-debputy
• med-epi
• med-dental
• sbuild
• dh-lisp
• sbuild-schroot
• revu-tools
• dpkg-cross
• dh-make-golang

その他の dh-coq 関連パッケージ

依存

推奨

提案

enhances

• rec: debhelper

  helper programs for debian/rules

dh-coq のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
all	6.7 kB	25.0 kB	[ファイル一覧]