From owner-freebsd-pkg@freebsd.org  Thu Sep 17 20:21:22 2015
Return-Path: <owner-freebsd-pkg@freebsd.org>
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 862AA9CE6E3
 for <freebsd-pkg@mailman.ysv.freebsd.org>;
 Thu, 17 Sep 2015 20:21:22 +0000 (UTC)
 (envelope-from jlehen@gmail.com)
Received: from mail-la0-x22a.google.com (mail-la0-x22a.google.com
 [IPv6:2a00:1450:4010:c03::22a])
 (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 19B801A35
 for <freebsd-pkg@FreeBSD.org>; Thu, 17 Sep 2015 20:21:22 +0000 (UTC)
 (envelope-from jlehen@gmail.com)
Received: by lagj9 with SMTP id j9so18723554lag.2
 for <freebsd-pkg@FreeBSD.org>; Thu, 17 Sep 2015 13:21:20 -0700 (PDT)
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=VgZAsvNSZGcR88Bj+xNHpRgJw+0SmyLbYPSW1N7OqG0=;
 b=C9Y12avGvBpMwcNyyRaPaDYiTG08Ih2dVd6CZMDMSpro8euLytGhVLQLVTnAT60kdd
 pDXDc8HkSqtRuUR0GeIq1bsw309XQ5xYyiUONPGIri7psHVIz9NlWfLmElQErBkYafQT
 ydObQ1qwPabZOZ54ti1OgefZUhbnAQX6spcTlCc7AFBbfUTcUexzCoRfZJotwB4Cy46a
 1Oz+TD8nYQucoIdXfb+uo2D0sq+FMeAjNop1KdNUpy+50IhgXPlHUU4HqTEzzyv4IPfk
 VhEPOmkXhXa6gnIIz7+LnZiN1m/degsFLt3sC+yG70oR5/SPNqkOIHxMq6sPWGhpTuyq
 Nusw==
MIME-Version: 1.0
X-Received: by 10.112.138.37 with SMTP id qn5mr1306647lbb.52.1442521279885;
 Thu, 17 Sep 2015 13:21:19 -0700 (PDT)
Sender: jlehen@gmail.com
Received: by 10.112.15.38 with HTTP; Thu, 17 Sep 2015 13:21:19 -0700 (PDT)
Date: Thu, 17 Sep 2015 22:21:19 +0200
X-Google-Sender-Auth: 5VEJhfSufZPqJRY3i3z9u7j3wDo
Message-ID: <CAGSa5y0fEuY86oXd5LL9eMBXBtmHzvrSXf6ez=L5GsS1myo5TQ@mail.gmail.com>
Subject: pk error: cannot solve job using SAT solver
From: Jeremie Le Hen <jlh@FreeBSD.org>
To: freebsd-pkg@FreeBSD.org
Content-Type: text/plain; charset=UTF-8
X-BeenThere: freebsd-pkg@freebsd.org
X-Mailman-Version: 2.1.20
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: Thu, 17 Sep 2015 20:21:22 -0000

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)tokyocabinet(l)
upgrade rule: upgrade local tokyocabinet-1.4.48 to remote tokyocabinet-1.4.48
cannot install package tokyocabinet, remove it from 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 poudriere.
I capture the debug output (-dd) of pkg in the following file:
http://people.freebsd.org/~jlh/typescript.pkg.txt

-- 
Jeremie Le Hen
jlh@FreeBSD.org