すべてのオプション
[  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: dh-coq  ]

パッケージ: dh-coq (0.8)

dh-coq に関するリンク

Screenshot

Debian の資源:

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

メンテナ:

類似のパッケージ:

debhelper tool for Coq-related Debian packages

dh-coq is a tool to help maintain Coq-related Debian packages. It computes checksums to tighten dependencies between them.

Coq is a proof assistant for higher-order logic.

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

  • 依存
  • 推奨
  • 提案
  • enhances

dh-coq のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
all 6.5 kB25.0 kB [ファイル一覧]