Yes, so I was wondering if 3.7.13.4 can be made available for 18.04 as well. I am used to installing everything from scratch but my experience is that this is a substantial hurdle for students and also some of my colleagues who just want to try it...
Thanks again for all your efforts. best Achilleas > Apt comes up with 3.7.11 for both Ubuntu 16.04 and 18.04, and 3.7.13.4 for 19.04
