alla flaggor
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Källkodspaket: prover9-manual (0.0.200902a-2.1)

Länkar för prover9-manual

Debianresurser:

Ansvarig:

Externa resurser:

Följande binärpaket byggs från detta källkodspaket:
prover9-doc
documentation for Prover9 and associated programs

Andra paket besläktade med prover9-manual

  • bygg-beroende
  • arkitekturoberoende bygg-beroende

Download prover9-manual

FilStorlek (i kbyte)MD5-kontrollsumma
prover9-manual_0.0.200902a-2.1.dsc 1,9 kbyte b18bf31d33dd376a2d35ac9261882dae
prover9-manual_0.0.200902a.orig.tar.gz 1.010,2 kbyte 00b6779d2d3edbd4434a24eebb79b2a8
prover9-manual_0.0.200902a-2.1.debian.tar.xz 4,6 kbyte faa418af02d2b8cb993803c012136e7a
Debians paketkällkodsarkiv- (VCS: Git)
git://git.debian.org/git/collab-maint/prover9-manual.git
Debians paketkällkodsarkiv (blädderbart)
http://git.debian.org/?p=collab-maint/prover9-manual.git