DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketname	depqbf
Beschreibung	solver for quantified boolean formulae
Archiv/Repository	Offizielles Debian Archiv wheezy (main)
Version	0.1-1
Sektion	interpreters
Priorität	extra
Installierte Größe	124 Byte
Hängt ab von	libc6 (>= 2.3)
Empfohlene Pakete
Paketbetreuer	Debian Science Maintainers
Quelle
Paketgröße	39576 Byte
Prüfsumme MD5	cc9b6d032053b63fc31b8c7662151299
Prüfsumme SHA1	94424d22c8e005990032964cfca4242ec69833c4
Prüfsumme SHA256	0b389efd549d2d2c1c120a131975a3ca1985a6aeaa3fcb24329b5a7150e265fa
Link zum Herunterladen	depqbf_0.1-1_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds