原始碼套件：coq-mtac2（1.4+8.20-1）

coq-mtac2 的相關連結

• Debian 原始碼倉庫 (Git)
• eLxr 補丁追蹤網站

維護小組：

• Debian OCaml Maintainers
• Julien Puydt

外部的資源：

• 主頁 [github.com]

libcoq-mtac2

Mtac2 tactic language for Coq

其他與 coq-mtac2 有關的套件

• adep: coq

  proof assistant for higher-order logic (toplevel and compiler)

• adep: debhelper-compat (= 13)

  套件暫時不可用

• adep: dh-coq

  debhelper tool for Coq-related Debian packages

• adep: dh-ocaml

  helper tools for maintaining OCaml-related Debian packages

• adep: libcoq-core-ocaml-dev

  development libraries and tools for Coq

• adep: libcoq-stdlib

  proof assistant for higher-order logic (theories)

• adep: libcoq-unicoq

  enhanced unification algorithm for Coq

• adep: ocaml-findlib

  management tool for OCaml libraries

Download coq-mtac2

Debian 套件原始碼倉庫（VCS：Git）

https://salsa.debian.org/ocaml-team/coq-mtac2.git

Debian 套件原始碼倉庫（可線上瀏覽）

https://salsa.debian.org/ocaml-team/coq-mtac2