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

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

coq-doc-html に関するリンク

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 in html format

coq-doc-html のダウンロード

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