すべてのオプション
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]

ソースパッケージ: aac-tactics (0.2.pl2-7)

aac-tactics に関するリンク

Debian の資源:

メンテナ:

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
libaac-tactics-coq
Coq tactics for reasoning modulo AC (theories)
libaac-tactics-ocaml
Coq tactics for reasoning modulo AC (plugin)
libaac-tactics-ocaml-dev
Coq tactics for reasoning modulo AC (devt files)

その他の aac-tactics 関連パッケージ

  • 構築依存
  • 構築依存 (アーキテクチャ非依存)

Download aac-tactics

ファイルサイズ (単位: kB)MD5 チェックサム
aac-tactics_0.2.pl2-7.dsc 2.2 kB 3bf022ab39c57e22f902e713e9e39da5
aac-tactics_0.2.pl2.orig.tar.gz 75.6 kB 298a83eaf3f6255542974e054ba1872c
aac-tactics_0.2.pl2-7.debian.tar.gz 2.7 kB 715fca2295c2106c644ac9a405fe3824
Debian パッケージソースリポジトリ (VCS: Git)
git://git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git
Debian パッケージソースリポジトリ (ブラウザで表示可能)
http://git.debian.org/?p=pkg-ocaml-maint/packages/aac-tactics.git