Skip to content
Sections
>> Trisquel >> Paketler >> nabia >> Kaynak >> doc >> prover9-manual
etiona  ] [  nabia  ] [  aramo  ]

Kaynak Paket: prover9-manual (0.0.200902a-2)

prover9-manual için bağlantılar

Trisquel Kaynakları:

Geliştirici:

Original Maintainer:

  • Debian QA Group

Dış Kaynaklar:

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

DosyaBoyut (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