Re: apt-get install sysvinit-core removes gnome?

On Sun Oct 19, 2014 09:32:54AM +0200, Matthias Urlichs wrote: > David Kalnischkies: > > Selecting one package in an or-group is a grand example of people not > > understand their tools although the policy is simple and logic: If it > > isn't impossible to let it win, the first alternative wins. If

Re: Boost defaults change (1.46.1 --> 1.48)

-dev, or (2) let boost-defaults decide which version of boost is the currently stable boost. IMHO (2) just hides FTBSes of the packages. Cheers, TK -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11,

Bug#639363: ITP: depqbf -- solver for quantified boolean formulae

Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: depqbf Version : 0.1 Upstream Author : Florian Lonsing * URL : http://fmv.jku.at/depqbf/ * License : GPL Programming Lang: C Description : solver for quantified boolean

Bug#616651: ITP: bool2cnf -- tool for converting a boolean formula into CNF

Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: bool2cnf Version : 20110304 Upstream Author : Tatsuhiro Tsuchiya * URL : http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/sources/bool2cnf/ * License : BSD Programming Lang: C

Bug#613986: ITP: run -- tool for sampling time and memory usage

Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: run Version : 1.4 Upstream Author : Armin Biere and Toni Jussila * URL : http://fmv.jku.at/run/ * License : BSD Programming Lang: C Description : tool for sampling time and

Bug#605881: ITP: coala -- translates action languages into answer set programs

Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: coala Version : 1.0.1 Upstream Author : Torsten Grote * URL : http://www.cs.uni-potsdam.de/~tgrote/coala/ * License : GPL Programming Lang: C++ Description : translates

Bug#605879: ITP: gringo -- An lparse-compatible grounder for (disjunctive) logic programs

Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: gringo Version : 3.0.3 Upstream Author : Potassco team * URL : http://www.cs.uni-potsdam.de/gringo/ * License : GPL Programming Lang: C++ Description : An lparse-compatible

Bug#605877: ITP: clasp -- A conflict-driven nogood learning answer set solver

Package: wnpp Severity: wishlist Owner: Thomas Krennwallner * Package name: clasp Version : 1.3.6 Upstream Author : Benjamin Kaufmann * URL : http://www.cs.uni-potsdam.de/clasp/ * License : GPL Programming Lang: C++ Description : A conflict-driven