On Tuesday, September 22, 2015 at 7:15:56 AM UTC+2, François wrote: > > OK but I don’t think you should hold back personally. > It's just a matter of minimizing problems. There is no pressing need for override in Pynac.
As to the link I gave, the new cryptominisat not only needs C++11 but also, according to http://trac.sagemath.org/ticket/15674 - cmake and not autotools, but Sage does not include cmake - more of Boost than Sage includes. So if Nathann was motivated by that he will have more on the plate. I'm second-guessing because you refused to be specific 8P -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
