I'm trying to install Fenics 2016.1.0 on Linux Mint. I thought this was the same as installing on Ubuntu, so I tried.
sudo add-apt-repository ppa:fenics-packages/fenics
sudo apt-get update
sudo apt-get install fenics
sudo apt-get dist-upgrade
and the installation seems to work fine, but when the installation is done I check
dolfin-version
1.6.0
so I still have the previous version installed. Does anyone know how to install on Linux Mint? Should I do a manual installation?