» Ubuntu » パッケージ » bionic (18.04LTS) » doc » coq-doc
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ ソース: coq-doc  ]

パッケージ: coq-doc (8.6-1) [multiverse]

coq-doc に関するリンク

Screenshot

Ubuntu の資源:

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

メンテナ:

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.

外部の資源:

類似のパッケージ:

documentation for Coq

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

  • 依存
  • 推奨
  • 提案
  • enhances
  • dep: coq-doc-html (>= 8.6-1)
    documentation for Coq in html format
  • dep: coq-doc-pdf (>= 8.6-1)
    documentation for Coq in pdf format

coq-doc のダウンロード

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