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 Debian Archiv wheezy (main)
Version0.1-1
Sektioninterpreters
Prioritätextra
Installierte Größe124 Byte
Hängt ab vonlibc6 (>= 2.3)
Empfohlene Pakete
PaketbetreuerDebian Science Maintainers
Quelle
Paketgröße39576 Byte
Prüfsumme MD5cc9b6d032053b63fc31b8c7662151299
Prüfsumme SHA194424d22c8e005990032964cfca4242ec69833c4
Prüfsumme SHA2560b389efd549d2d2c1c120a131975a3ca1985a6aeaa3fcb24329b5a7150e265fa
Link zum Herunterladendepqbf_0.1-1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds