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ß

Paketbeschreibung


Paketnamedepqbf
Beschreibungsolver for quantified boolean formulae
Archiv/RepositoryOffizielles Ubuntu Archiv quantal (universe)
Version0.1-1
Sektionuniverse/interpreters
Prioritätextra
Installierte Größe105 Byte
Hängt ab vonlibc6 (>= 2.3.4)
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelle
Paketgröße39482 Byte
Prüfsumme MD52789595dc5611b9b27a6d2fb107b59af
Prüfsumme SHA1c45d3cfa67e7cca6164ea83f9c76b914eecc556d
Prüfsumme SHA25696bd61d891cfe5217ef385de3002e18fe6ae15fb1c14542e2401a19b414f2a65
Link zum Herunterladendepqbf_0.1-1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds