Subject: [Fenics] FEniCS PPA moved

From: Johannes Ring <[email-masked]>
Date: Fri, 11 Nov 2011 10:00:03 +0100

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