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

源码包:coqprime(8.18-1)

coqprime 的相关链接

Debian 的资源:

维护小组:

外部的资源:

本源码包构建了以下这些二进制包:
coqprime-tools
Primality certification for Coq (tools)
libcoq-coqprime
Primality certification for Coq (library)

其他与 coqprime 有关的软件包

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

Download coqprime

文件大小(单位:kB)MD5 校验码
coqprime_8.18-1.dsc 2.1 kB c8bf27aa06d17c650bbb483d8dd7e5aa
coqprime_8.18.orig.tar.gz 973.2 kB 6847c2b5c6d95cc0d4afb52db99ae794
coqprime_8.18-1.debian.tar.xz 3.2 kB f781eb384b89d1ed9c6d0763c3dbcdcc
Debian 软件包源码仓库(VCSGit
https://salsa.debian.org/ocaml-team/coqprime.git
Debian 软件包源码仓库(可在线浏览)
https://salsa.debian.org/ocaml-team/coqprime