» Ubuntu » パッケージ » precise (12.04LTS) » ocaml » libaac-tactics-ocaml-dev
precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]
[ ソース: aac-tactics  ]

パッケージ: libaac-tactics-ocaml-dev (0.2.pl2-4build1) [universe]

libaac-tactics-ocaml-dev に関するリンク

Screenshot

Ubuntu の資源:

aac-tactics ソースパッケージをダウンロード:

メンテナ:

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.

外部の資源:

類似のパッケージ:

Coq tactics for reasoning modulo AC (devt files)

その他の libaac-tactics-ocaml-dev 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • dep: camlp5-bjli0 [i386]
    以下のパッケージによって提供される仮想パッケージです: camlp5
  • dep: camlp5-j6472 [amd64]
    以下のパッケージによって提供される仮想パッケージです: camlp5
  • dep: libaac-tactics-ocaml-2m678 [i386]
    以下のパッケージによって提供される仮想パッケージです: libaac-tactics-ocaml
  • dep: libaac-tactics-ocaml-ulz51 [amd64]
    以下のパッケージによって提供される仮想パッケージです: libaac-tactics-ocaml
  • dep: libcoq-ocaml-dev-4zyg6 [amd64]
    パッケージは利用できません
  • dep: libcoq-ocaml-dev-ib824 [i386]
    パッケージは利用できません
  • dep: ocaml-nox-3.12.1
    以下のパッケージによって提供される仮想パッケージです: ocaml-nox

libaac-tactics-ocaml-dev のダウンロード

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