[ bianca ]

源码包：coquelicot（3.4.3-1）

coquelicot 的相关链接

维护小组：

外部的资源：

主页 [coquelicot.saclay.inria.fr]

本源码包构建了以下这些二进制包：

libcoq-coquelicot: Coq library for real analysis

其他与 coquelicot 有关的软件包

构建架构特定包依赖

构建架构独立包依赖

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-mathcomp-ssreflect

Mathematical Components library for Coq (small scale reflection)
adep: libcoq-core-ocaml-dev

development libraries and tools for Coq

Download coquelicot

文件	大小（单位：kB）	MD5 校验码
coquelicot_3.4.3-1.debian.tar.xz	2.2 kB	19a4d66416162e7042e9cf7ba181654b
coquelicot_3.4.3-1.dsc	2.1 kB	2db46d6c1a4671ae9c05e43f634fac73
coquelicot_3.4.3.orig.tar.bz2	224.9 kB	368991d53b72248d3c1c15a083ea151d

Debian 软件包源码仓库（VCS：Git）: https://salsa.debian.org/ocaml-team/coquelicot.git
Debian 软件包源码仓库（可在线浏览）: https://salsa.debian.org/ocaml-team/coquelicot