Re: Optimising generated rules for SAT solving (5/12 are duplicates)

2016-12-25 Thread Hans Petter Selasky
On 12/06/16 11:04, Hans Petter Selasky wrote: On 11/24/16 14:11, Vsevolod Stakhov wrote: Then I don't understand how your patch should affect the solving procedure. If pkg tries to reinstall something without *reason* it is a good sign of bug in pkg itself and/or your database/repo and not in

FreeBSD_HEAD_amd64_gcc - Build #1743 - Still Failing

2016-12-25 Thread jenkins-admin
FreeBSD_HEAD_amd64_gcc - Build #1743 - Still Failing: Build information: https://jenkins.FreeBSD.org/job/FreeBSD_HEAD_amd64_gcc/1743/ Full change log: https://jenkins.FreeBSD.org/job/FreeBSD_HEAD_amd64_gcc/1743/changes Full build log: