On Thu, Jun 11, 2015 at 2:42 PM, Alexander Dreyer < jan.alexander.dre...@gmail.com> wrote:
> From my point of view a fork - or better call it sequel - would be the > best. > > Unfortunately, all original developers like me went to industrial > positions, which are completely unrelated to PolyBoRi or any kind of > algebraic software. > Meanwhile, family and the new jobs don't leave us time to work on pet > projects. So, the real active branch is the ohanar github repository. > > At that repository, I already see great work in autotools support. I would > adopt this for sure if I ever get the chance to get back to work on > PolyBoRi. For the unlikely case of sudden freetime I would rather > contribute to the new project than trying to resurrect the old one. ;-) > > However, to avoid confusion, you should rename your fork. Use TOSSFKAP or > BRiAl or whatever you like to distinuish the projects. > Yes, I agree, I just didn't have a good name. Do you have a particular favorite (and we could just use that). > Also, I have to note, that in the autotools branch some headers from > original Cudd were reintroduced. Which ones exactly? I exported the mercurial repository into git and double checked the files, but didn't notice any new headers. > This might be a problem since some were intentionally left out due to > unclear licenses. This had been suggested by the debian people some time > ago. > > Best regards and good luck, > Alexander > > -- > 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. > -- Andrew -- 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.