../ gnome-shell-timer_0.0.20120615+gitbde3fd2-1_all..> 15-Jun-2012 08:47 16932 gnome-shell-timer_0.3.12+20140924-1_all.deb 24-Sep-2014 09:20 15592 gnome-shell-timer_0.3.12+20140924-5_all.deb 02-Sep-2016 11:01 15686