全部搜索项
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