[Bug 512449] satsolver: split up DEBIAN_SEMANTICS