packages
[ ソース: coq ]
パッケージ: libcoq-core-ocaml-dev (8.15.0+dfsg-2) [universe]
libcoq-core-ocaml-dev に関するリンク
Ubuntu の資源:
coq ソースパッケージをダウンロード:
メンテナ:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (メールアーカイブ)
- Benjamin Barenblat
- Julien Puydt
- Ralf Treinen
- Stéphane Glondu
It should generally not be necessary for users to contact the original maintainer.
外部の資源:
- ホームページ [coq.inria.fr]
類似のパッケージ:
development libraries and tools for Coq
その他の libcoq-core-ocaml-dev 関連パッケージ
|
|
|
|
-
- dep: coq (= 8.15.0+dfsg-2)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libcoq-core-ocaml-alg58 [riscv64]
- 以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-aosg1 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-nf5u3 [ppc64el]
- 以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rt7d5 [arm64]
- 以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-xt866 [s390x]
- 以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-zjlv3 [armhf]
- 以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml
-
- dep: libzarith-ocaml-dev-4dps0 [armhf, s390x 以外]
- 以下のパッケージによって提供される仮想パッケージです: libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-aip06 [armhf]
- 以下のパッケージによって提供される仮想パッケージです: libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-vtl52 [s390x]
- 以下のパッケージによって提供される仮想パッケージです: libzarith-ocaml-dev
-
- dep: ocaml-4.13.1
- 以下のパッケージによって提供される仮想パッケージです: ocaml
libcoq-core-ocaml-dev のダウンロード
| アーキテクチャ | パッケージサイズ | インストールサイズ | ファイル |
|---|---|---|---|
| amd64 | 43,980.0 kB | 159,196.0 kB | [ファイル一覧] |
| arm64 | 44,512.7 kB | 159,147.0 kB | [ファイル一覧] |
| armhf | 44,813.9 kB | 154,442.0 kB | [ファイル一覧] |
| ppc64el | 44,631.3 kB | 162,080.0 kB | [ファイル一覧] |
| riscv64 | 44,488.3 kB | 158,743.0 kB | [ファイル一覧] |
| s390x | 44,412.1 kB | 160,637.0 kB | [ファイル一覧] |