From owner-freebsd-questions@FreeBSD.ORG  Mon Dec  8 20:18:10 2014
Return-Path: <owner-freebsd-questions@FreeBSD.ORG>
Delivered-To: questions@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115])
 (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id 41FB082A
 for <questions@freebsd.org>; Mon,  8 Dec 2014 20:18:10 +0000 (UTC)
Received: from mail-wi0-x22b.google.com (mail-wi0-x22b.google.com
 [IPv6:2a00:1450:400c:c05::22b])
 (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 C9F64AAB
 for <questions@freebsd.org>; Mon,  8 Dec 2014 20:18:09 +0000 (UTC)
Received: by mail-wi0-f171.google.com with SMTP id bs8so5814487wib.4
 for <questions@freebsd.org>; Mon, 08 Dec 2014 12:18:08 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=googlemail.com; s=20120113;
 h=mime-version:date:message-id:subject:from:to:content-type;
 bh=oXxcfx44O4jYwZKCM5SlK3V1gTjc8A8jbHeaYnsCehc=;
 b=kShrlyl8kQ0i6k//IzISk5GX9uxcm7JA7djt4b8JRueA4R6CwsnmD9tdVAJH9bubqc
 S0Cvb/Hv0dZAHvMqDqF9L59H0sQCwZ+ZJLDkcSv90/BOW8AfxR+cJrxfznh9H/mmV+vD
 1I9GdLGvdBFsQL5E67h2CUvPgkhRc6b+tyOTWAIWu/6WaYFFp2K2RKxbE8fvBpKVfDtS
 84QJAYweZT0uddG57pLf0qqh5ha1zkbyxun13pPTqVrejSi8rR30T+cZInfy2UkUMWVW
 VXYOtKOI+FAWq/lbdOwceYVRw5vWyTkwcCSMWusIcaNdT3w4NHN7poK5/LriBnEZbE/K
 2tvw==
MIME-Version: 1.0
X-Received: by 10.194.78.3 with SMTP id x3mr46942717wjw.127.1418069888128;
 Mon, 08 Dec 2014 12:18:08 -0800 (PST)
Received: by 10.216.73.2 with HTTP; Mon, 8 Dec 2014 12:18:08 -0800 (PST)
Date: Mon, 8 Dec 2014 20:18:08 +0000
Message-ID: <CAA3eX7ayzZEd=++gJACO9_yz3apJUHt9AN3b+9fd6wxBf1nLog@mail.gmail.com>
Subject: Pkg upgrade 'SAT solver' problem
From: Peter Harrison <four.harrisons@googlemail.com>
To: FreeBSD Questions <questions@freebsd.org>
Content-Type: text/plain; charset=UTF-8
X-Content-Filtered-By: Mailman/MimeDel 2.1.18-1
X-BeenThere: freebsd-questions@freebsd.org
X-Mailman-Version: 2.1.18-1
Precedence: list
List-Id: User questions <freebsd-questions.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/freebsd-questions>, 
 <mailto:freebsd-questions-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-questions/>
List-Post: <mailto:freebsd-questions@freebsd.org>
List-Help: <mailto:freebsd-questions-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-questions>, 
 <mailto:freebsd-questions-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 08 Dec 2014 20:18:10 -0000

Can someone help with a pkg upgrade problem please?

I've been relying solely on binary pkg for a while now without problem.
However, on doing the latest upgrade I get:

root@thinkpad:/home/peter # pkg upgrade
Updating FreeBSD repository catalogue...
FreeBSD repository is up-to-date.
All repositories are up-to-date.
Checking for upgrades (377 candidates): 100%
Checking integrity... done (1 conflicting)
pkg: Cannot solve problem using SAT solver:
cannot install package libxfce4util~x11/libxfce4util, remove it from
request? [Y/n]: n
pkg: cannot solve job using SAT solver

If I answer 'y' I get a much longer sequence of similar errors and the
upgrade still bombs.

This is on:

FreeBSD thinkpad 10.0-RELEASE-p9 FreeBSD 10.0-RELEASE-p9 #0: Mon Sep 15
14:35:52 UTC 2014
root@amd64-builder.daemonology.net:/usr/obj/usr/src/sys/GENERIC
 amd64

Thanks for your help.




Peter Harrison.