Dear all FEniCS PPA users, The FEniCS PPA has been moved to a new location [1]. Please follow the updated instructions on our website [2] to add the new PPA.
The old FEniCS PPA is still available, but will be disabled soon. You should therefore remove it from your sources by running sudo rm -f /etc/apt/sources.list.d/fenics-ppa-`lsb_release -cs`.list Then run sudo apt-get update to update the sources on your system. The packages from the old FEniCS PPA has been copied to the FEniCS archive builds PPA [3] for future reference. Sorry for any inconvenience caused by this move. [1] https://launchpad.net/~fenics-packages/+archive/fenics [2] http://fenicsproject.org/download/ubuntu_details.html#ubuntu-ppa [3] https://launchpad.net/~fenics-packages/+archive/fenics-old Johannes _______________________________________________ Mailing list: https://launchpad.net/~fenics Post to : [email protected] Unsubscribe : https://launchpad.net/~fenics More help : https://help.launchpad.net/ListHelp

