From owner-freebsd-pkg@FreeBSD.ORG  Sun Sep 14 11:02:49 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 433F93E0;
 Sun, 14 Sep 2014 11:02:49 +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 C592A961;
 Sun, 14 Sep 2014 11:02:48 +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:02:46 +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 13:02:45 +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+iSGW0aZgfsnTEyo2ULfVdF6swAEQ7Ag
Message-ID: <B2E0472020754D45B72E9B0CE35278CAB7242FC93E@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 11:02:49 -0000

SGVsbG8sDQoNCg0KPiBJIGRvbid0IGtub3cgaWYgdGhpcyB3ZWVrJ3MgcGFja2FnZXMgaGF2ZSBi
ZWVuIHJlbGVhc2VkIHlldCAoc2hvdWxkIGJlDQo+IHNvbWUgdGltZSBhcm91bmQgbm93IHVzdWFs
bHkpIC0tIGFsbCBJIGNhbiBzdWdnZXN0IHRob3VnaCBpcyB0aGF0IHlvdQ0KPiB3YWl0IGZvciBh
biB1cGRhdGVkIHBhY2thZ2UgdG8gYXBwZWFyIGFuZCB0aGVuIHRyeSBhZ2Fpbi4gIE90aGVyIHRo
YW4NCj4gYnVpbGRpbmcgZmlyZWZveCB5b3Vyc2VsZiB0aGF0IGlzLg0KPiANCj4gCUNoZWVycywN
Cj4gDQo+IAlNYXR0aGV3DQoNClRoaXMgaXMgbm90IG9ubHkgZmlyZWZveCBwcm9ibGVtLiBJIGtu
b3cgKGZyb20gbXkgaGVhZCwgYmVjYXVzZSBJIGltIGluc3RhbGxpbmcgYXQgdGhpcyBtb21lbnQg
ZnJvbSBwb3J0cyk6DQoNCnBocDUtZ2QNCnRodW5kZXJiaXJkDQpmaXJlZm94DQp4ZmNlNCAoc29t
ZSBwYXJ0cykNCmNocm9taXVtDQouLi4uLi4NCg0KSXRzIGEgbG90IG9mIHBhY2thZ2VzLg0KDQpS
YWRlaw0K