From owner-freebsd-pkg@FreeBSD.ORG  Sun Sep 14 11:03:23 2014
Return-Path: <owner-freebsd-pkg@FreeBSD.ORG>
Delivered-To: freebsd-pkg@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id 9CBD341D;
 Sun, 14 Sep 2014 11:03:23 +0000 (UTC)
Received: from EXCHANGE.mail.starnet.cz (exchange.mail.starnet.cz
 [92.62.224.72]) (using TLSv1 with cipher AES128-SHA (128/128 bits))
 (Client CN "EXCHANGE.mail.starnet.cz", Issuer "STARNET" (not verified))
 by mx1.freebsd.org (Postfix) with ESMTPS id 298FB969;
 Sun, 14 Sep 2014 11:03:23 +0000 (UTC)
Received: from EXCHANGE.mail.starnet.cz ([fe80::d017:9e72:12a5:7bb4]) by
 EXCHANGE.mail.starnet.cz ([fe80::d017:9e72:12a5:7bb4%14]) with mapi; Sun, 14
 Sep 2014 13:03:21 +0200
From: =?iso-8859-2?Q?Radek_Krej=E8a?= <radek.krejca@starnet.cz>
To: =?iso-8859-2?Q?Radek_Krej=E8a?= <radek.krejca@starnet.cz>, 'Matthew
 Seaman' <matthew@FreeBSD.org>, "'freebsd-pkg@freebsd.org'"
 <freebsd-pkg@freebsd.org>
Date: Sun, 14 Sep 2014 13:03:20 +0200
Subject: RE: firefox: pkg: Cannot solve problem using SAT solver
Thread-Topic: firefox: pkg: Cannot solve problem using SAT solver
Thread-Index: Ac/P+iSGW0aZgfsnTEyo2ULfVdF6swAEQ7AgAAASfDA=
Message-ID: <B2E0472020754D45B72E9B0CE35278CAB7242FC93F@EXCHANGE.mail.starnet.cz>
References: <201409140845.s8E8jmkC000795@mech-as221.men.bris.ac.uk>
 <541558C4.507@FreeBSD.org>
 <B2E0472020754D45B72E9B0CE35278CAB7242FC93E@EXCHANGE.mail.starnet.cz>
In-Reply-To: <B2E0472020754D45B72E9B0CE35278CAB7242FC93E@EXCHANGE.mail.starnet.cz>
Accept-Language: cs-CZ
Content-Language: cs-CZ
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
acceptlanguage: cs-CZ
Content-Type: text/plain; charset="iso-8859-2"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
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: Sun, 14 Sep 2014 11:03:23 -0000

And more:

Checking integrity... done (1 conflicting)
pkg: Cannot solve problem using SAT solver:
cannot install package phpeclipse~java/phpeclipse