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

原始碼套件：prover9-manual（0.0.200902a-2.1）

prover9-manual 的相關連結

Debian 的資源：

維護者：

Debian QA Group (QA 頁面)

外部的資源：

主頁 [www.cs.unm.edu]

本原始碼套件構建了以下這些二進位制包：

prover9-doc: documentation for Prover9 and associated programs

其他與 prover9-manual 有關的套件

構建架構特定包依賴

構建架構獨立包依賴

adep: debhelper (>= 9)

helper programs for debian/rules

idep: htmldoc

HTML processor that generates indexed HTML, PS, and PDF

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 套件原始碼倉庫（VCS：Git）: git://git.debian.org/git/collab-maint/prover9-manual.git
Debian 套件原始碼倉庫（可線上瀏覽）: http://git.debian.org/?p=collab-maint/prover9-manual.git