[  etiona  ] [  nabia  ] [  aramo  ]

prover9-manual için bağlantılar

Trisquel Kaynakları:

• Hata Raporları
• Changelog
• Telif Hakkı Dosyası
• Debian Kaynak Deposu (Git)

Geliştirici:

• Debian QA Group

Original Maintainer:

• Debian QA Group

Dış Kaynaklar:

• Ana Sayfa [www.cs.unm.edu]

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:

prover9-doc

documentation for Prover9 and associated programs

prover9-manual ile İlgili Diğer Paketler

inşa bağımlılıkları

bağımsız inşa bağımlılıkları

• adep: debhelper (>= 9)

  helper programs for debian/rules

• idep: htmldoc

  HTML processor that generates indexed HTML, PS, and PDF

Download prover9-manual

Dosya	Boyut (kB cinsinden)	MD5 sağlama toplamı
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 Paket Kaynak Deposu (VCS: Git)

git://git.debian.org/git/collab-maint/prover9-manual.git

Debian Paket Kaynak Deposu (Gezinilebilir)

http://git.debian.org/?p=collab-maint/prover9-manual.git