1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
|
# ChangeLog for gnome-extra/gnome-shell-extensions
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/gnome-extra/gnome-shell-extensions/ChangeLog,v 1.24 2014/07/22 10:46:59 ago Exp $
22 Jul 2014; Agostino Sarubbo <ago@gentoo.org>
gnome-shell-extensions-3.12.2.ebuild:
Stable for amd64, wrt bug #512912
*gnome-shell-extensions-3.12.2 (31 May 2014)
31 May 2014; Pacho Ramos <pacho@gentoo.org>
+gnome-shell-extensions-3.12.2.ebuild:
Version bump
*gnome-shell-extensions-3.12.0 (27 Apr 2014)
27 Apr 2014; Gilles Dartiguelongue <eva@gentoo.org>
+gnome-shell-extensions-3.12.0.ebuild:
Version bump for Gnome 3.12.
18 Apr 2014; Pacho Ramos <pacho@gentoo.org>
-gnome-shell-extensions-3.8.4.ebuild:
Drop old
09 Mar 2014; Pacho Ramos <pacho@gentoo.org>
gnome-shell-extensions-3.10.1.ebuild:
x86 stable, bug 499954
09 Mar 2014; Pacho Ramos <pacho@gentoo.org>
gnome-shell-extensions-3.10.1.ebuild:
amd64 stable, bug 499954
22 Feb 2014; Pacho Ramos <pacho@gentoo.org>
gnome-shell-extensions-3.10.1.ebuild:
Fix wrong commit, bug 502160
22 Feb 2014; Pacho Ramos <pacho@gentoo.org>
gnome-shell-extensions-3.10.1.ebuild:
arch stable, bug 888
*gnome-shell-extensions-3.10.1 (24 Dec 2013)
24 Dec 2013; Pacho Ramos <pacho@gentoo.org>
+gnome-shell-extensions-3.10.1.ebuild, -gnome-shell-extensions-3.6.2.ebuild,
-gnome-shell-extensions-3.8.3.1.ebuild, -gnome-shell-extensions-3.8.3.ebuild:
Version bump for Gnome 3.10
08 Dec 2013; Pacho Ramos <pacho@gentoo.org>
gnome-shell-extensions-3.8.4.ebuild:
x86 stable, bug #478252
30 Nov 2013; Pacho Ramos <pacho@gentoo.org>
gnome-shell-extensions-3.8.4.ebuild:
amd64 stable, bug #478252
*gnome-shell-extensions-3.8.4 (15 Sep 2013)
15 Sep 2013; Gilles Dartiguelongue <eva@gentoo.org>
+gnome-shell-extensions-3.8.4.ebuild:
Version bump.
*gnome-shell-extensions-3.8.3.1 (18 Jun 2013)
18 Jun 2013; Pacho Ramos <pacho@gentoo.org>
+gnome-shell-extensions-3.8.3.1.ebuild, -gnome-shell-extensions-3.8.2.ebuild:
Version bump, drop old.
*gnome-shell-extensions-3.8.3 (09 Jun 2013)
09 Jun 2013; Pacho Ramos <pacho@gentoo.org>
+gnome-shell-extensions-3.8.3.ebuild, -gnome-shell-extensions-3.8.1.ebuild:
Version bump, drop old
*gnome-shell-extensions-3.8.2 (15 May 2013)
15 May 2013; Pacho Ramos <pacho@gentoo.org>
+gnome-shell-extensions-3.8.2.ebuild, -gnome-shell-extensions-3.8.0.ebuild:
Version bump, drop old
*gnome-shell-extensions-3.8.1 (20 Apr 2013)
20 Apr 2013; Pacho Ramos <pacho@gentoo.org>
+gnome-shell-extensions-3.8.1.ebuild:
Version bump
29 Mar 2013; Gilles Dartiguelongue <eva@gentoo.org>
-gnome-shell-extensions-3.4.0-r1.ebuild,
-files/gnome-shell-extensions-3.4.0-auto-move-windows-removed-crash.patch,
-files/gnome-shell-extensions-3.4.0-places-menu-align.patch,
-files/gnome-shell-extensions-3.4.0-windowsNavigator-tooltip-crash.patch,
gnome-shell-extensions-3.8.0.ebuild:
Clean up old revision.
*gnome-shell-extensions-3.8.0 (28 Mar 2013)
28 Mar 2013; Pacho Ramos <pacho@gentoo.org>
+gnome-shell-extensions-3.8.0.ebuild:
Version bump for Gnome 3.8
*gnome-shell-extensions-3.6.2 (26 Dec 2012)
26 Dec 2012; Gilles Dartiguelongue <eva@gentoo.org>
-gnome-shell-extensions-3.2.2.ebuild, +gnome-shell-extensions-3.6.2.ebuild:
Version bump for Gnome 3.6. Clean up old revisions.
*gnome-shell-extensions-3.4.0-r1 (14 May 2012)
14 May 2012; Alexandre Rostovtsev <tetromino@gentoo.org>
-gnome-shell-extensions-3.2.0-r2.ebuild,
-files/gnome-shell-extensions-3.2.0-dock-gnome-3.2.patch,
-files/gnome-shell-extensions-3.2.0-dock-popup-menus.patch,
-files/gnome-shell-extensions-3.2.0-gnome-3.2.1.patch,
-files/gnome-shell-extensions-3.2.0-systemMonitor-CSS.patch,
-files/gnome-shell-extensions-3.2.0-systemMonitor-enable-disable.patch,
+gnome-shell-extensions-3.4.0-r1.ebuild,
+files/gnome-shell-extensions-3.4.0-auto-move-windows-removed-crash.patch,
+files/gnome-shell-extensions-3.4.0-places-menu-align.patch,
+files/gnome-shell-extensions-3.4.0-windowsNavigator-tooltip-crash.patch:
Version bump for gnome-shell-3.4. Drop old.
05 May 2012; Jeff Horelick <jdhore@gentoo.org>
gnome-shell-extensions-3.2.0-r2.ebuild, gnome-shell-extensions-3.2.2.ebuild:
dev-util/pkgconfig -> virtual/pkgconfig
12 Dec 2011; Alexandre Rostovtsev <tetromino@gentoo.org>
gnome-shell-extensions-3.2.2.ebuild:
Fix building with <intltool-0.50 (bug #394445, thanks to poncho for
reporting).
*gnome-shell-extensions-3.2.2 (11 Dec 2011)
11 Dec 2011; Alexandre Rostovtsev <tetromino@gentoo.org>
gnome-shell-extensions-3.2.0-r2.ebuild, +gnome-shell-extensions-3.2.2.ebuild:
Bump to 3.2.2 + latest upstream patches. Notable changes: systemMonitor and
alternate-tab bugfixes, azerty keyboard compatibility, fixes for
alternative-status-menu crashes (should fix bug #392279 reported by jlec).
Note that extension IDs in this version have changed; as a result, extensions
may have become auto-disabled, and you will need to re-enable them.
*gnome-shell-extensions-3.2.0-r2 (06 Nov 2011)
06 Nov 2011; Alexandre Rostovtsev <tetromino@gentoo.org>
+gnome-shell-extensions-3.2.0-r2.ebuild,
+files/gnome-shell-extensions-3.2.0-dock-gnome-3.2.patch,
+files/gnome-shell-extensions-3.2.0-dock-popup-menus.patch,
+files/gnome-shell-extensions-3.2.0-gnome-3.2.1.patch,
+files/gnome-shell-extensions-3.2.0-systemMonitor-CSS.patch,
+files/gnome-shell-extensions-3.2.0-systemMonitor-enable-disable.patch,
+metadata.xml:
Add extensions for gnome-base/gnome-shell from the gnome overlay.
|