Format: 1.8 Date: Sat, 16 Nov 2013 14:11:31 +0100 Source: gnome-shell-extensions Binary: gnome-shell-extensions Architecture: source Version: 3.11.2-0ubuntu1~13.10~ricotz0 Distribution: saucy Urgency: critical Maintainer: Ubuntu Developers Changed-By: Rico Tzschichholz Description: gnome-shell-extensions - Extensions to extend functionality of GNOME Shell Changes: gnome-shell-extensions (3.11.2-0ubuntu1~13.10~ricotz0) saucy; urgency=critical . * New upstream release Checksums-Sha1: 72f6d09bba9adaf071c64483b6c06fbb67507e61 2560 gnome-shell-extensions_3.11.2-0ubuntu1~13.10~ricotz0.dsc ca64bf015cc6fd32438dfcd2cfd5eee33beecf68 201812 gnome-shell-extensions_3.11.2.orig.tar.xz f39889ea6769b7cafea07092b19daafe209628d5 4338 gnome-shell-extensions_3.11.2-0ubuntu1~13.10~ricotz0.debian.tar.gz Checksums-Sha256: 6672e7ef896922d8cbaeee91df1703b79fa9f1b8e6ca7686252a5cde9a1bbde6 2560 gnome-shell-extensions_3.11.2-0ubuntu1~13.10~ricotz0.dsc 46f7170efb5df5027b7273329b941cb4cca9d532a14b65d448cf947cdd69dc4c 201812 gnome-shell-extensions_3.11.2.orig.tar.xz bea319c148866538306e8fd38ee2574f40a58683666b742f4823cbd02cb0341b 4338 gnome-shell-extensions_3.11.2-0ubuntu1~13.10~ricotz0.debian.tar.gz Files: b46e71a939c176ebfba71866540a05dc 2560 gnome optional gnome-shell-extensions_3.11.2-0ubuntu1~13.10~ricotz0.dsc 28c904ab73b998ffbddf746ebb8868f6 201812 gnome optional gnome-shell-extensions_3.11.2.orig.tar.xz bb510ed0d6aaa35466a37b83067f5dc8 4338 gnome optional gnome-shell-extensions_3.11.2-0ubuntu1~13.10~ricotz0.debian.tar.gz Original-Maintainer: Debian GNOME Maintainers