From owner-freebsd-pkg@FreeBSD.ORG  Sun Sep 14 16:59:16 2014
Return-Path: <owner-freebsd-pkg@FreeBSD.ORG>
Delivered-To: freebsd-pkg@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id BDB44E34;
 Sun, 14 Sep 2014 16:59:16 +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 4CCD1C31;
 Sun, 14 Sep 2014 16:59:16 +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 18:59:13 +0200
From: =?utf-8?B?UmFkZWsgS3JlasSNYQ==?= <radek.krejca@starnet.cz>
To: 'Matthew Seaman' <matthew@FreeBSD.org>, "'freebsd-pkg@freebsd.org'"
 <freebsd-pkg@freebsd.org>
Date: Sun, 14 Sep 2014 18:59:11 +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+iSGW0aZgfsnTEyo2ULfVdF6swAQugsw
Message-ID: <B2E0472020754D45B72E9B0CE35278CAB7242FC952@EXCHANGE.mail.starnet.cz>
References: <201409140845.s8E8jmkC000795@mech-as221.men.bris.ac.uk>
 <541558C4.507@FreeBSD.org>
In-Reply-To: <541558C4.507@FreeBSD.org>
Accept-Language: cs-CZ
Content-Language: cs-CZ
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
acceptlanguage: cs-CZ
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
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 16:59:16 -0000

PiA+IEhhdmUgSSBmb3Jnb3R0ZW4gc29tZXRoaW5nPw0KPiANCj4gWW91J3JlIHRoZSBzZWNvbmQg
cGVyc29uIHRvIHJlcG9ydCB0aGlzLiAgSXQgZG9lcyBzZWVtIHRvIGJlIGEgcHJvYmxlbQ0KPiB3
aXRoIHRoZSBmaXJlZm94IHBvcnQgaW4gdGhlIEZyZWVCU0QgcmVwb3NpdG9yeS4gIExvb2tzIGxp
a2UgaXQNCj4gY29uZmxpY3RzIHdpdGggaXQncyBvd24gZGVwZW5kZW5jaWVzLg0KDQpJdCBsb29r
cywgdGhhdCBwcm9ibGVtIHNob3VsZCBiZSBpbiBqcGVnLXR1cmJvLCBiZWNhdXNlIHNvbWUgcGFj
a2FnZXMgbmVlZCBqcGVnIGFuZCBvdGhlcnMganBlZy10dXJiby4gQnV0IEkgZG9udCBrbm93IGlm
IGlzIHRoZSByZWFzb24uDQoNCkFuZCB0aGlzIHNpdHVhdGlvbiBpcyBhYm91dCAzIHdlZWtzIG9s
ZC4NCg0KUmFkZWsNCg==