Date: Sun, 14 Sep 2014 13:02:45 +0200 From: =?utf-8?B?UmFkZWsgS3JlasSNYQ==?= <radek.krejca@starnet.cz> To: 'Matthew Seaman' <matthew@FreeBSD.org>, "'freebsd-pkg@freebsd.org'" <freebsd-pkg@freebsd.org> Subject: RE: firefox: pkg: Cannot solve problem using SAT solver Message-ID: <B2E0472020754D45B72E9B0CE35278CAB7242FC93E@EXCHANGE.mail.starnet.cz> In-Reply-To: <541558C4.507@FreeBSD.org> References: <201409140845.s8E8jmkC000795@mech-as221.men.bris.ac.uk> <541558C4.507@FreeBSD.org>
next in thread | previous in thread | raw e-mail | index | archive | help
SGVsbG8sDQoNCg0KPiBJIGRvbid0IGtub3cgaWYgdGhpcyB3ZWVrJ3MgcGFja2FnZXMgaGF2ZSBi ZWVuIHJlbGVhc2VkIHlldCAoc2hvdWxkIGJlDQo+IHNvbWUgdGltZSBhcm91bmQgbm93IHVzdWFs bHkpIC0tIGFsbCBJIGNhbiBzdWdnZXN0IHRob3VnaCBpcyB0aGF0IHlvdQ0KPiB3YWl0IGZvciBh biB1cGRhdGVkIHBhY2thZ2UgdG8gYXBwZWFyIGFuZCB0aGVuIHRyeSBhZ2Fpbi4gIE90aGVyIHRo YW4NCj4gYnVpbGRpbmcgZmlyZWZveCB5b3Vyc2VsZiB0aGF0IGlzLg0KPiANCj4gCUNoZWVycywN Cj4gDQo+IAlNYXR0aGV3DQoNClRoaXMgaXMgbm90IG9ubHkgZmlyZWZveCBwcm9ibGVtLiBJIGtu b3cgKGZyb20gbXkgaGVhZCwgYmVjYXVzZSBJIGltIGluc3RhbGxpbmcgYXQgdGhpcyBtb21lbnQg ZnJvbSBwb3J0cyk6DQoNCnBocDUtZ2QNCnRodW5kZXJiaXJkDQpmaXJlZm94DQp4ZmNlNCAoc29t ZSBwYXJ0cykNCmNocm9taXVtDQouLi4uLi4NCg0KSXRzIGEgbG90IG9mIHBhY2thZ2VzLg0KDQpS YWRlaw0K
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?B2E0472020754D45B72E9B0CE35278CAB7242FC93E>