Question #157319 on DOLFIN changed:
https://answers.launchpad.net/dolfin/+question/157319
Status: Open => Answered
Johannes Ring proposed the following answer:
Ok, I see why it doesn't update now. Try to run
sudo apt-get dist-upgrade
This should install the latest DOLFIN packages from the PPA.
--
You received this question notification because you are a member of
DOLFIN Team, which is an answer contact for DOLFIN.
_______________________________________________
Mailing list: https://launchpad.net/~dolfin
Post to : dolfin@lists.launchpad.net
Unsubscribe : https://launchpad.net/~dolfin
More help : https://help.launchpad.net/ListHelp
