原始碼套件：flocq（4.2.1-1）

flocq 的相關連結

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

維護小組：

• Debian OCaml Maintainers
• Julien Puydt

外部的資源：

• 主頁 [flocq.gitlabpages.inria.fr]

libcoq-flocq

Floating-point arithmetic for Coq

其他與 flocq 有關的套件

• 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)

Download flocq

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

https://salsa.debian.org/ocaml-team/flocq.git

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

https://salsa.debian.org/ocaml-team/flocq