wszystkie opcje
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Pakiet źródłowy: prover9-manual (0.0.200902a-2.1)

Odnośniki dla prover9-manual

Zasoby systemu Debian:

Opiekun:

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
prover9-doc
documentation for Prover9 and associated programs

Inne pakiety związane z prover9-manual

  • build-depends
  • build-depends-indep

Download prover9-manual

PlikRozmiar (w KiB)Suma kontrolna MD5
prover9-manual_0.0.200902a-2.1.dsc 1,9 KiB b18bf31d33dd376a2d35ac9261882dae
prover9-manual_0.0.200902a.orig.tar.gz 1 010,2 KiB 00b6779d2d3edbd4434a24eebb79b2a8
prover9-manual_0.0.200902a-2.1.debian.tar.xz 4,6 KiB faa418af02d2b8cb993803c012136e7a
Repozytorium kodu źródłowego Debiana (VCS: Git)
git://git.debian.org/git/collab-maint/prover9-manual.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
http://git.debian.org/?p=collab-maint/prover9-manual.git