Has anybody had experience of installing an older version of fenics using hashdist in fenics-developer-tools?
Thanks!