Hi guys, I hope this is the right place for some trouble-shooting and i would appreciate anybodys help for this fenics-newbie here.
I have been trying to run the latest version on a virtual machine Ubuntu 13.04.
First thing i did was to try the "sudo add-apt-repository ppa:fenics-packages/fenics" in the console, but unfortunately I get the error "Cannot access PPA(https://launchpad.net/api/1.0/~fenics-packages/+archive/fenics) to get PPA information, please check your internet connection" ... Since I am using a proxy, this might be one reason.
That´s when I manually added the line "deb http://ppa.launchpad.net/fenics-packages/fenics/ubuntu raring main " from the site https://launchpad.net/~fenics-packages/+archive/fenics into the PPA via the Software Centre.
Once I update in the shell "sudo apt-get update", it logically says that no key is available yet.
On the page (https://launchpad.net/api/1.0/~fenics-packages/+archive/fenics) it says that the key is "2B746472", yet when i search the ubuntu-keyserver, the latest key i find there is from Jan 2013 (http://keyserver.ubuntu.com/pks/lookup?op=vindex&search=fenics&fingerprint=on).
So each time I try to get a key, e.g. "sudo gpg --keyserver pgp.mit.edu --recv-keys 2B746472;" none is found....
Long story short, is it possible to run Fenics 1.2 on Ubuntu (seems like 1.1 is already accessable) and if so, how can i get Fenics 1.2 running on my ubuntu system?