Format: 1.8
Date: Wed, 18 May 2016 12:29:42 -0400
Source: gnome-shell-timer
Binary: gnome-shell-timer
Architecture: source
Version: 0.0.20120615+gitbde3fd2-1~ubuntu12.04.1
Distribution: precise
Urgency: medium
Maintainer: Raphaël Hertzog <hertzog@debian.org>
Changed-By: Jeremy Bicha <jbicha@linux.com>
Description:
 gnome-shell-timer - GNOME Shell extension providing a countdown timer in the top pane
Closes: 677516
Launchpad-Bugs-Fixed: 1021809
Changes:
 gnome-shell-timer (0.0.20120615+gitbde3fd2-1~ubuntu12.04.1) precise; urgency=medium
 .
   * No-change backport to precise (LP: #1021809)
 .
 gnome-shell-timer (0.0.20120615+gitbde3fd2-1) unstable; urgency=low
 .
   * New upstream release with GNOME 3.4 compatibility. Closes: #677516
   * Update Standards-Version to 3.9.3 (no changes).
 .
 gnome-shell-timer (0.0.20120103+gitc7b8d8f-1) unstable; urgency=low
 .
   * New upstream release.
   * Release to unstable.
 .
 gnome-shell-timer (0.0.20111129+git3cc7fdc-1) experimental; urgency=low
 .
   * New upstream release for GNOME 3.2.
   * Update debian/rules to properly do the relevant steps listed in make.sh.
   * Depends on gnome-shell (>= 3.2).
   * Drop README.Debian and the examples since the software now has a
     configuration interface for the presets.
   * This interface is written in Python. Thus add a python build-dep,
     ${python:Depends} to the Depends field and use dh --with python2.
Checksums-Sha1:
 f6ca34dc7cdd3b7e9ee1a987900f66c51c815d8a 2135 gnome-shell-timer_0.0.20120615+gitbde3fd2-1~ubuntu12.04.1.dsc
 4ffec8f39a55cdc70fe97ca9ead3c3d2aa4c8f26 26832 gnome-shell-timer_0.0.20120615+gitbde3fd2.orig.tar.gz
 899e22115c0f6412326d585ffeec281b78c411ed 2456 gnome-shell-timer_0.0.20120615+gitbde3fd2-1~ubuntu12.04.1.debian.tar.xz
Checksums-Sha256:
 de5e1e91544883b2b939b4e1f33726b4ba190791bd8d2bf9ecbd091d1e4a0492 2135 gnome-shell-timer_0.0.20120615+gitbde3fd2-1~ubuntu12.04.1.dsc
 0edccd47a4242487f7556eaeb9606da2044b8c776b3d98ed13c24d496bc613b7 26832 gnome-shell-timer_0.0.20120615+gitbde3fd2.orig.tar.gz
 c449f3340089fc6e056706e841a5b0bddf25927af3a062662448a0d07f05b2e3 2456 gnome-shell-timer_0.0.20120615+gitbde3fd2-1~ubuntu12.04.1.debian.tar.xz
Files:
 b6df97c1d297f0bbeb95f8102c406a29 2135 gnome extra gnome-shell-timer_0.0.20120615+gitbde3fd2-1~ubuntu12.04.1.dsc
 41607ae8c6ee7717e124d627c9e9f4ce 26832 gnome extra gnome-shell-timer_0.0.20120615+gitbde3fd2.orig.tar.gz
 d01486875ef02336a3932214a14ba45d 2456 gnome extra gnome-shell-timer_0.0.20120615+gitbde3fd2-1~ubuntu12.04.1.debian.tar.xz