Re: [fricas-devel] FriCAS 1.3.6 is released

2020-03-20 Thread Grégory Vanuxem
Hello Waldek, hello all, Successfully built FriCAS on Windows Subsystem for Linux (WSL) on Windows 10. Just a note, I built FriCAS without X and at startup I have : /usr/local/bin/fricas viewman not present, disabling graphics /bin/sh: 1: exec:

Re: [fricas-devel] Switching to Git

2020-03-20 Thread Ralf Hemmecke
> Hi, what's your opinion on CI and bug tracker (in github)? We had too many bugtackers. I'm not sure that they work well for us. There is probably nobody who transfers all the bugreports from the sourceforge to github. But we should at least try and make now github the central place. That must

Re: [fricas-devel] Switching to Git

2020-03-20 Thread Bill Page
On Fri, Mar 20, 2020 at 12:24 PM oldk1331 wrote: > > Hi, what's your opinion on CI and bug tracker (in github)? > +1 and +1 -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving

Re: [fricas-devel] Switching to Git

2020-03-20 Thread oldk1331
Hi, what's your opinion on CI and bug tracker (in github)? On Fri, Mar 20, 2020, 10:11 PM Waldek Hebisch wrote: > Fricas is now using Git. Former mirror at Github is > now official repository: > > https://github.com/fricas/fricas > > For now homepage is still at Sourceforge. Release will > be

Re: [fricas-devel] Switching to Git

2020-03-20 Thread Bill Page
On Fri, Mar 20, 2020 at 10:11 AM Waldek Hebisch wrote: > > Fricas is now using Git. Former mirror at Github is > now official repository: > > https://github.com/fricas/fricas > Great. Thank you. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer

[fricas-devel] Switching to Git

2020-03-20 Thread Waldek Hebisch
Fricas is now using Git. Former mirror at Github is now official repository: https://github.com/fricas/fricas For now homepage is still at Sourceforge. Release will be both at Sourceforge and at Github. My intent is to give write access to repository to people who had write access at