OK, here is how it worked for me: 1. deacivate the extra devel repository 2. now you can install version 0.7 from the extra-repositorys