Hola, Even so the debian package was available from files.eprints.org, we've finally managed to update our debian repository meaning that 3.3.12 is now available via apt-get on debian/ubuntu. Seb