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

2016-11-24 Thread Vsevolod Stakhov
On 24/11/2016 13:05, Hans Petter Selasky wrote: > On 11/24/16 13:13, Vsevolod Stakhov wrote: >> On 23/11/2016 16:27, Ed Schouten wrote: >>> Hi Hans, >>> >>> 2016-11-23 15:27 GMT+01:00 Hans Petter Selasky : >>>> I've made a patch to hopefully

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

2016-11-24 Thread Vsevolod Stakhov
oveland algorithm: > https://en.wikipedia.org/wiki/DPLL_algorithm > -- Vsevolod Stakhov ___ freebsd-ports@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"

Re: port renaming

2015-07-16 Thread Vsevolod Stakhov
On 16/07/2015 18:32, Kimmo Paasiala wrote: > On Thu, Jul 16, 2015 at 8:23 PM, Vsevolod Stakhov > wrote: >> On 16/07/2015 18:11, Henry Hu wrote: >>> >>> >>> On Thu, Jul 16, 2015 at 7:04 AM, Vsevolod Stakhov >>> mailto:vsevo...@highsecure.ru>&

Re: port renaming

2015-07-16 Thread Vsevolod Stakhov
On 16/07/2015 18:11, Henry Hu wrote: > > > On Thu, Jul 16, 2015 at 7:04 AM, Vsevolod Stakhov > mailto:vsevo...@highsecure.ru>> wrote: > > On Thu, Jul 16, 2015 at 2:56 PM, Anton Yuzhaninov <mailto:cit...@citrin.ru>> wrote: > > > &

Re: port renaming

2015-07-16 Thread Vsevolod Stakhov
On Thu, Jul 16, 2015 at 2:56 PM, Anton Yuzhaninov wrote: > > Port maintainers and port commiters, when > PORTNAME/PKGNAMEPREFIX/PKGNAMESUFFIX is changed, please note this change in > commit log and for important ports also in /usr/ports/UPDATING. Any rename > affect at leas some of FreeBSD user

Re: TeTeX and TeXlive conflict in pdftk and octave dependencies

2014-08-11 Thread Vsevolod Stakhov
On 11/08/14 14:57, CeDeROM wrote: > Mayeb its time to decide if one of TeTeX and/or TeXlive should be abandoned? > :-) TeTeX is abandoned. -- Vsevolod Stakhov ___ freebsd-ports@freebsd.org mailing list http://lists.freebsd.org/mailman/li

Re: ruBSD 2013 pkg talk report

2013-12-19 Thread Vsevolod Stakhov
On 19/12/13 19:10, Bryan Drewery wrote: > On 12/17/2013 6:13 PM, Vsevolod Stakhov wrote: >> Hello, > >> I'd like to summarize the feedback I've received from pkg users >> during that event. I got many questions about ports and packages >> and I think that

Re: ruBSD 2013 pkg talk report

2013-12-19 Thread Vsevolod Stakhov
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 19/12/13 11:19, Baptiste Daroussin wrote: > On Wed, Dec 18, 2013 at 12:13:44AM +0000, Vsevolod Stakhov wrote: >> Hello, >> Q: What if I have a package built from ports with some custom >> options and a repository has n

Re: mail/rspamd

2011-11-02 Thread Vsevolod Stakhov
dependency at the next release update (in fact this optional component was not updated for a long time). Thank you for the report! -- Vsevolod Stakhov ___ freebsd-ports@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubs

Re: nginx upstream_fair module patch

2008-02-27 Thread Vsevolod Stakhov
Ryan Tomayko wrote: Hello Sergey, There is an experimental module for nginx that adds fair upstream/proxy balancing (note that this is a "third party" patch, not an optional nginx module): http://wiki.codemongers.com/NginxHttpUpstreamFairModule We've modified the nginx port to include the