From owner-freebsd-pkg@FreeBSD.ORG  Wed Dec 17 16:34:45 2014
Return-Path: <owner-freebsd-pkg@FreeBSD.ORG>
Delivered-To: freebsd-pkg@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id 3939415F;
 Wed, 17 Dec 2014 16:34:45 +0000 (UTC)
Received: from mail-la0-x233.google.com (mail-la0-x233.google.com
 [IPv6:2a00:1450:4010:c03::233])
 (using TLSv1 with cipher ECDHE-RSA-RC4-SHA (128/128 bits))
 (Client CN "smtp.gmail.com",
 Issuer "Google Internet Authority G2" (verified OK))
 by mx1.freebsd.org (Postfix) with ESMTPS id AE917158B;
 Wed, 17 Dec 2014 16:34:44 +0000 (UTC)
Received: by mail-la0-f51.google.com with SMTP id ms9so13418343lab.10
 for <multiple recipients>; Wed, 17 Dec 2014 08:34:42 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
 h=mime-version:sender:date:message-id:subject:from:to:content-type;
 bh=l78Y14eMxud9xuLJZGTUZB/mPuV1ImK817sE61WxBtc=;
 b=qKztd/U/W24mi08eTFwYXywj3X3V/5nnhM9aqJ/Z5z/D1NK7jPySmjPMgXjrmRGAKz
 RTQhebpvcWxCItfBi6WgNgm4KxXeXW5EBaiBmiADf/s/5wltIAMbsG7+3uBI5Unor017
 ro2Vn0L5HD7fl9Y81VZVWWmV5Qmn1sFJ4RXGmnSuUOt6/cFGOavESqBp5XevDJcs6oS7
 1OpmAhnZlFGohsrOxCJR6cfSneuwbQ/9NBbm4SAAIRGVsgKno3vQPmHNRYkKbJlDVXTH
 Eq+mYD+6MT5XvZNpBMweXi9TGDWmaU1QXMJMo2qqdZD0HN5cOsvrU+y1fvBnuoh5ErVy
 zgfg==
MIME-Version: 1.0
X-Received: by 10.112.12.65 with SMTP id w1mr41996494lbb.68.1418834082743;
 Wed, 17 Dec 2014 08:34:42 -0800 (PST)
Sender: crodr001@gmail.com
Received: by 10.112.130.168 with HTTP; Wed, 17 Dec 2014 08:34:42 -0800 (PST)
Date: Wed, 17 Dec 2014 08:34:42 -0800
X-Google-Sender-Auth: h1PRMNiY_1hPV0MH3ihdX8yejxE
Message-ID: <CAG=rPVfabU8fH+cS9UQAffWCmu-r0q9CFnk2UcbiSP_w+ESUmQ@mail.gmail.com>
Subject: pkg 1.4.0 pkg: Cannot solve problem using SAT solver: spandsp-devel
From: Craig Rodrigues <rodrigc@FreeBSD.org>
To: ports <freebsd-ports@freebsd.org>, freebsd-pkg@freebsd.org
Content-Type: text/plain; charset=ISO-8859-1
X-Content-Filtered-By: Mailman/MimeDel 2.1.18-1
X-BeenThere: freebsd-pkg@freebsd.org
X-Mailman-Version: 2.1.18-1
Precedence: list
List-Id: Binary package management and package tools discussion
 <freebsd-pkg.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-pkg>,
 <mailto:freebsd-pkg-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-pkg/>
List-Post: <mailto:freebsd-pkg@freebsd.org>
List-Help: <mailto:freebsd-pkg-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-pkg>,
 <mailto:freebsd-pkg-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 17 Dec 2014 16:34:45 -0000

Hi,

I did a "pkg update -f ; pkg upgrade -y" on a FreeBSD 10-stable
system and ran into this error:

Checking integrity... done (3 conflicting)
pkg: Cannot solve problem using SAT solver:
pkg: cannot find spandsp-devel in the request
pkg: cannot solve job using SAT solver
Checking integrity... done (0 conflicting)
Conflicts with the existing packages have been found.
One more solver iteration is needed to resolve them.

As an end-user installing packages, this error message makes no
sense at all to me, and doesn't tell me what I need to do
to fix the problem.  Can this (and other SAT solver) error messages
be enhanced to include some hints as to what a user must do
to solve the problem?

What seemed to get me past this problem was to:

pkg delete -f spandsp-devel
pkg upgrade -y

--
Craig