From owner-freebsd-questions@FreeBSD.ORG Mon Dec 8 22:48:15 2014 Return-Path: Delivered-To: freebsd-questions@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 22146541 for ; Mon, 8 Dec 2014 22:48:15 +0000 (UTC) Received: from mail-pa0-f43.google.com (mail-pa0-f43.google.com [209.85.220.43]) (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 E7B0AC5A for ; Mon, 8 Dec 2014 22:48:14 +0000 (UTC) Received: by mail-pa0-f43.google.com with SMTP id kx10so6114581pab.30 for ; Mon, 08 Dec 2014 14:48:08 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:subject:references:mail-followup-to:date :in-reply-to:message-id:user-agent:mime-version:content-type; bh=cpY7KDcHAv6vA2YOJF/WTJIVK9QNzS3+cid0Lj2sPYs=; b=FtTiP2/Jvpe18nf3hhyTRNHvwBmzzpK1soDhPYJtzr7BL0H+7mW+hsqtlG4kXMTK5p 21AYITo4WWtUEeccC6f5qhcA3a8e9GM6VyU4W5kHX96S4hnniwRMZJIiXYBjxDKFVQkd 2m0yNUyI8DKBkZrQSihcWXE0QpL7TYQLVO15wGynwgB6OfezwB0eJPmCrHDBzs8XPjqJ 05ZVsAzLTn+PwhS3fszcSt1XOHJ/yuYj0lmnL2IUli1foLbZestgeFJJ9reZcYVIXDI1 zE/tJV9sDZCK1bCkjjD4lbmT2ZQX9rKM1rhFNJ3hBX8ArGMmXS3+G3BVqYYH3ZCE07dC 5e1g== X-Gm-Message-State: ALoCoQn4R+eRGzludqG2NJ6v3Dz8Tfb6NXJLXGVDt8LSEBuF8GESO72xoxE9ks/Gt2xG2hEJlmlo X-Received: by 10.68.111.37 with SMTP id if5mr64118823pbb.140.1418078888359; Mon, 08 Dec 2014 14:48:08 -0800 (PST) Received: from elk.localnet ([2604:8800:100:82aa:6ef0:49ff:fe05:658b]) by mx.google.com with ESMTPSA id y7sm37456910pdm.12.2014.12.08.14.48.06 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Mon, 08 Dec 2014 14:48:07 -0800 (PST) Received: from carlj by elk.localnet with local (Exim 4.80) (envelope-from ) id 1Xy764-0000Sj-DK for freebsd-questions@freebsd.org; Mon, 08 Dec 2014 14:48:04 -0800 From: Carl Johnson To: freebsd-questions@freebsd.org Subject: Re: Pkg upgrade 'SAT solver' problem References: Mail-Followup-To: freebsd-questions@freebsd.org Date: Mon, 08 Dec 2014 14:48:04 -0800 In-Reply-To: (Peter Harrison's message of "Mon, 8 Dec 2014 20:18:08 +0000") Message-ID: <8761dlpxln.fsf@elk.localnet> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-BeenThere: freebsd-questions@freebsd.org X-Mailman-Version: 2.1.18-1 Precedence: list List-Id: User questions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 08 Dec 2014 22:48:15 -0000 Peter Harrison writes: > 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. I just went through that a few days ago. I ended up just answering y to everything and letting it remove the packages. I then went back and used pkg to reinstall the ones it had just removed. I had thought that pkg would fix these types of problems, but obviously not. When I asked here at that time, someone suggested 'pkg check -Ba' to see if there are pkg problems. In my case there were some, but fixing them didn't help the solver problem. -- Carl Johnson carlj@peak.org