gnome-shell-timer (0.3.20+20171025-3) [PTS] [DDPO]

OK: VCS matches the version in the archive

Package: [Main page]