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

源码包:coq-bignums(9.0.0+coq8.20-1)

coq-bignums 的相关链接

Debian 的资源:

维护小组:

外部的资源:

本源码包构建了以下这些二进制包:
libcoq-bignums
Coq library for big numbers

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

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

Download coq-bignums

文件大小(单位:kB)MD5 校验码
coq-bignums_9.0.0+coq8.20-1.dsc 2.1 kB 11ae6233595aa1621e4cc558842b2854
coq-bignums_9.0.0+coq8.20.orig.tar.gz 114.5 kB 8af0a3df71fd3cd83e4391741519fc19
coq-bignums_9.0.0+coq8.20-1.debian.tar.xz 2.0 kB d50556a8e1a69ff31f7cacf58500e829
Debian 软件包源码仓库(VCSGit
https://salsa.debian.org/ocaml-team/coq-bignums.git
Debian 软件包源码仓库(可在线浏览)
https://salsa.debian.org/ocaml-team/coq-bignums