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

源码包:prover9-manual(0.0.200902a-2.1)

prover9-manual 的相关链接

Debian 的资源:

维护者:

外部的资源:

本源码包构建了以下这些二进制包:
prover9-doc
documentation for Prover9 and associated programs

其他与 prover9-manual 有关的软件包

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

Download prover9-manual

文件大小(单位:kB)MD5 校验码
prover9-manual_0.0.200902a-2.1.dsc 1.9 kB b18bf31d33dd376a2d35ac9261882dae
prover9-manual_0.0.200902a.orig.tar.gz 1,010.2 kB 00b6779d2d3edbd4434a24eebb79b2a8
prover9-manual_0.0.200902a-2.1.debian.tar.xz 4.6 kB faa418af02d2b8cb993803c012136e7a
Debian 软件包源码仓库(VCSGit
git://git.debian.org/git/collab-maint/prover9-manual.git
Debian 软件包源码仓库(可在线浏览)
http://git.debian.org/?p=collab-maint/prover9-manual.git