全部搜索项
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

源码包:coq(8.19.1+dfsg-3)

coq 的相关链接

Debian 的资源:

维护小组:

外部的资源:

本源码包构建了以下这些二进制包:
coq
proof assistant for higher-order logic (toplevel and compiler)
coqide
proof assistant for higher-order logic (gtk interface)
libcoq-core-ocaml
runtime libraries for Coq
libcoq-core-ocaml-dev
development libraries and tools for Coq
libcoq-stdlib
proof assistant for higher-order logic (theories)

其他与 coq 有关的软件包

  • 构建架构特定包依赖
  • 构建架构独立包依赖

Download coq

文件大小(单位:kB)MD5 校验码
coq_8.19.1+dfsg-3.dsc 2.3 kB ab46c45713746ecb2b7f26b994d0da05
coq_8.19.1+dfsg.orig.tar.bz2 5,458.5 kB dea6de51a6e8218824751962ae449098
coq_8.19.1+dfsg-3.debian.tar.xz 32.1 kB 53bd334d7f91adece54fc12e900e72ce
Debian 软件包源码仓库(VCSGit
https://salsa.debian.org/ocaml-team/coq.git
Debian 软件包源码仓库(可在线浏览)
https://salsa.debian.org/ocaml-team/coq