It appears that there is no ppa for linuxmint 17.0 I would like to request one. Note however that the 17.1 update is due at the end part of November and will also likely require a new ppa as well. Thank you ~Greylocks They who can give up essential liberty to obtain a little temporary safety deserve neither liberty nor safety. Benjamin Franklin