全部搜尋項
jessie  ] [  stretch  ] [  sid  ]

原始碼套件:aac-tactics(8.6.1-1)

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_8.6.1-1.dsc 2。2 kB c57a7e25977ae59177faf50e71ce2097
aac-tactics_8.6.1.orig.tar.gz 73。3 kB 2d5a77e26ae85f1fb6ab0e5034787d45
aac-tactics_8.6.1-1.debian.tar.xz 3。1 kB ebeee14e60a2937f6c8260d5285c3584
Debian 套件原始碼倉庫(VCSGit
https://anonscm.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git
Debian 套件原始碼倉庫(可線上瀏覽)
https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/aac-tactics.git