[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

源码包：prover9-manual（0.0.200902a-2）

prover9-manual 的相关链接

Debian 的资源：

维护者：

Debian QA Group (QA 页面)

外部的资源：

主页 [www.cs.unm.edu]

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

prover9-doc: documentation for Prover9 and associated programs

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

构建架构特定包依赖

构建架构独立包依赖

adep: debhelper (>= 9)

用于 debian/rules 的帮助程序

idep: htmldoc

HTML processor that generates indexed HTML, PS, and PDF

Download prover9-manual

文件	大小（单位：kB）	MD5 校验码
prover9-manual_0.0.200902a-2.dsc	1.9 kB	aa38b341a8b9ef4f59d4104206a0fdeb
prover9-manual_0.0.200902a.orig.tar.gz	1,010.2 kB	00b6779d2d3edbd4434a24eebb79b2a8
prover9-manual_0.0.200902a-2.debian.tar.gz	4.6 kB	fdf84b690036f33061734981d66e13a7

Debian 软件包源码仓库（VCS：Git）: git://git.debian.org/git/collab-maint/prover9-manual.git
Debian 软件包源码仓库（可在线浏览）: http://git.debian.org/?p=collab-maint/prover9-manual.git