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 Ubuntu Archiv quantal (universe)
Version	0.1-1
Sektion	universe/interpreters
Priorität	extra
Installierte Größe	105 Byte
Hängt ab von	libc6 (>= 2.3.4)
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle
Paketgröße	39482 Byte
Prüfsumme MD5	2789595dc5611b9b27a6d2fb107b59af
Prüfsumme SHA1	c45d3cfa67e7cca6164ea83f9c76b914eecc556d
Prüfsumme SHA256	96bd61d891cfe5217ef385de3002e18fe6ae15fb1c14542e2401a19b414f2a65
Link zum Herunterladen	depqbf_0.1-1_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds