From owner-freebsd-pkg@freebsd.org Mon Sep 21 08:43:58 2015 Return-Path: Delivered-To: freebsd-pkg@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id D91CBA05BC1 for ; Mon, 21 Sep 2015 08:43:58 +0000 (UTC) (envelope-from baptiste.daroussin@gmail.com) Received: from mail-wi0-x235.google.com (mail-wi0-x235.google.com [IPv6:2a00:1450:400c:c05::235]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 6BA6E1F97 for ; Mon, 21 Sep 2015 08:43:58 +0000 (UTC) (envelope-from baptiste.daroussin@gmail.com) Received: by wicfx3 with SMTP id fx3so134908433wic.1 for ; Mon, 21 Sep 2015 01:43:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:date:from:to:cc:subject:message-id:references:mime-version :content-type:content-disposition:in-reply-to:user-agent; bh=CGocqAc0bj8y7r0yhE4FrL+b/CP6F2nvGbsQgkVuwFE=; b=rAqqA/lhZ7ExXgAUJylbb8JqO0qZsGTE7BwCXN73jRJ7M14H7Gja5EcEiny4NsyeOc Cwl/o/6gI5G2hqm4IEX7NVWVdWfrMG3GVxPXutcwBRAth18HmfNGtno0/K7aLbarAMR/ XfjeuzL+s1TcTdE/TvoepV/csLWa5jXn2IAtImZ+aQ6zFUTlm3wN76k35K3sBtT5vtlR Hv8sv18k3/RMGXkhRX/SjxFbafPsaUTFndnY1GGDEQZAyAPNx5PtQ3xg7KQNoGWSoq4M L9LZmKQLaNwUWeJK7d/2bBkFtUJWZXme6K5xsfvPz4JLlXzZLApW10vsGNgcVEFDVzdw 3rEg== X-Received: by 10.194.246.199 with SMTP id xy7mr20979611wjc.61.1442825036895; Mon, 21 Sep 2015 01:43:56 -0700 (PDT) Received: from ivaldir.etoilebsd.net ([2001:41d0:8:db4c::1]) by smtp.gmail.com with ESMTPSA id go5sm12300570wib.3.2015.09.21.01.43.55 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 21 Sep 2015 01:43:55 -0700 (PDT) Sender: Baptiste Daroussin Date: Mon, 21 Sep 2015 10:43:54 +0200 From: Baptiste Daroussin To: "Sergey V. Dyatko" Cc: freebsd-pkg@freebsd.org Subject: Re: pk error: cannot solve job using SAT solver Message-ID: <20150921084353.GC38467@ivaldir.etoilebsd.net> References: <20150918093001.31fd7cba@laptop.minsk.domain> <20150921105919.78ca2472@laptop.minsk.domain> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="xo44VMWPx7vlQ2+2" Content-Disposition: inline In-Reply-To: <20150921105919.78ca2472@laptop.minsk.domain> User-Agent: Mutt/1.5.24 (2015-08-30) X-BeenThere: freebsd-pkg@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Binary package management and package tools discussion List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 21 Sep 2015 08:43:59 -0000 --xo44VMWPx7vlQ2+2 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Mon, Sep 21, 2015 at 10:59:19AM +0300, Sergey V. Dyatko wrote: > On Sun, 20 Sep 2015 22:22:10 +0200 > Jeremie Le Hen wrote:=20 >=20 > > On Fri, Sep 18, 2015 at 8:30 AM, Sergey V. Dyatko > > wrote: > > > On Thu, 17 Sep 2015 22:21:19 +0200 > > > Jeremie Le Hen wrote: > > > > > >> Hi, > > >> > > >> I wanted to upgrade my package and got the following error: > > >> > > >> # pkg upgrade > > >> Updating myserver repository catalogue... > > >> myserver repository is up-to-date. > > >> All repositories are up-to-date. > > >> Checking for upgrades (92 candidates): 100% > > >> Processing candidates (92 candidates): 100% > > >> pkg: Cannot solve problem using SAT solver: > > >> dependency rule: package mutt(l) depends on: tokyocabinet(r)tokyocab= inet(l) > > >> upgrade rule: upgrade local tokyocabinet-1.4.48 to remote > > >> tokyocabinet-1.4.48 cannot install package tokyocabinet, remove it f= rom > > >> request? [Y/n]: y pkg: cannot find tokyocabinet in the request > > >> pkg: cannot solve job using SAT solver > > >> > > >> > > >> Note that I have my own package repository that I build with poudrie= re. > > >> I capture the debug output (-dd) of pkg in the following file: > > >> http://people.freebsd.org/~jlh/typescript.pkg.txt > > >> > > > > > > you may try to do following: > > > > > > 1) pkg install jpeg-turbo > > > 2) pkg upgrade > >=20 > > The rationale is a bit unclear to me. Can you explain please? :) > >=20 >=20 > UPDATING@20150916 >=20 > > Thanks, >=20 FYI, we figured out the bug in the solver that triggers this issues and we = are actively working on it. As soon as we have been able to fix it we will rele= ase pkg 1.6.0 Best regards, Bapt --xo44VMWPx7vlQ2+2 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlX/w0kACgkQ8kTtMUmk6Ewa6gCffeuJMbcpeBIhPg4oOqOSIzm/ uRoAnRXcQvIAVqJoA+aVN4uaO+x6mG5K =btZm -----END PGP SIGNATURE----- --xo44VMWPx7vlQ2+2--