packages [ jammy ]
[ ソース: aac-tactics ]
パッケージ: libaac-tactics-ocaml-dev (8.15.0-1) [universe]
libaac-tactics-ocaml-dev に関するリンク
Ubuntu の資源:
aac-tactics ソースパッケージをダウンロード:
メンテナ:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (メールアーカイブ)
- Stéphane Glondu
It should generally not be necessary for users to contact the original maintainer.
外部の資源:
- ホームページ [github.com]
類似のパッケージ:
Coq tactics for reasoning modulo AC (devt files)
その他の libaac-tactics-ocaml-dev 関連パッケージ
|
|
|
|
-
- dep: libaac-tactics-ocaml-hf7x7 [armhf]
- 以下のパッケージによって提供される仮想パッケージです: libaac-tactics-ocaml
-
- dep: libaac-tactics-ocaml-hsco3 [armhf, s390x 以外]
- 以下のパッケージによって提供される仮想パッケージです: libaac-tactics-ocaml
-
- dep: libaac-tactics-ocaml-keg59 [s390x]
- 以下のパッケージによって提供される仮想パッケージです: libaac-tactics-ocaml
-
- dep: libcoq-core-ocaml-dev-alg58 [riscv64]
- 以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml-dev
-
- dep: libcoq-core-ocaml-dev-aosg1 [amd64]
- 以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml-dev
-
- dep: libcoq-core-ocaml-dev-nf5u3 [ppc64el]
- 以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml-dev
-
- dep: libcoq-core-ocaml-dev-rt7d5 [arm64]
- 以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml-dev
-
- dep: libcoq-core-ocaml-dev-xt866 [s390x]
- 以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml-dev
-
- dep: libcoq-core-ocaml-dev-zjlv3 [armhf]
- 以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml-dev
-
- 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