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

源码包:coq-stdpp(1.9.0-1)

coq-stdpp 的相关链接

Debian 的资源:

维护小组:

外部的资源:

本源码包构建了以下这些二进制包:
libcoq-stdpp
Extended standard library for Coq

其他与 coq-stdpp 有关的软件包

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

Download coq-stdpp

文件大小(单位:kB)MD5 校验码
coq-stdpp_1.9.0-1.dsc 2.0 kB e0d6378246a48a44832423d2bab2a9cd
coq-stdpp_1.9.0.orig.tar.gz 290.5 kB af01b3c7ca246aade275e96256567d65
coq-stdpp_1.9.0-1.debian.tar.xz 2.5 kB 5a88943fc2f167f8c971b01f8ab26fb0
Debian 软件包源码仓库(VCSGit
https://salsa.debian.org/ocaml-team/coq-stdpp.git
Debian 软件包源码仓库(可在线浏览)
https://salsa.debian.org/ocaml-team/coq-stdpp