state of FEniCS docker/ppa (dev or 1.5)

Question

Due to a serious problem with mshr in 1.6 I have tried to either get a working environment of dev or use 1.5 on ubuntu 15.10. As far as I can tell

1. official 15.10 packages of FEniCS 1.5 are broken due to mix of releases (1.5 and 1.6)
2. fenicsproject ppa for 1.5 does not work with 15.10 due to dependency/version conflicts
3. docker image for dev does not work since uflacs repository url is incorrect, update_fenics fails
4. docker image for 1.5 seems not to be available any more, only latest and dev
5. virtual image of 1.5 seems not be to be available any more, only latest

I am running out of ideas what to do to get a working environment again (i.e. regarding mshr). Any suggestions?

Comments

Please register any Docker issues you're having at https://bitbucket.org/fenics-project/docker/issues so we can get them fixed.

Answer 1

The problem has been fixed on the FEniCS 1.7.0dev branch. To get the latest updates, you can download and build the developer version of FEniCS as instructed here. Otherwise i guess you'll have to wait for the next release.

Comments

Thanks for the information. Since there are ppas for older releases (which may or may not work, see above), wouldn't it be possible to also have docker images available for at least the last 2-3 releases? That would be a much more reliable approach than distribution packages.