Saucy is EOL
gnome-mines (1:3.10.1-0ubuntu1~saucy1) saucy; urgency=medium * Copied from trusty -- Rico Tzschichholz <email address hidden> Tue, 17 Dec 2013 08:25:19 +0100