[  etiona  ] [  nabia  ] [  aramo  ]

prover9-manual 的相關超連結

Trisquel 的資源：

• 報告問題
• Changelog
• 版權文件
• Debian 原始碼倉庫 (Git)

維護者：

• Debian QA Group

Original Maintainer:

• Debian QA Group

外部的資源：

• 主頁 [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