Juan RP
|
397d0923f8
|
gnome-shell-extensions: update to 3.12.2.
|
2014-05-17 10:28:01 +02:00 |
|
Juan RP
|
6376b7b8ac
|
gnome-shell-extensions: update to 3.12.0.
|
2014-03-27 18:54:40 +01:00 |
|
Juan RP
|
925d471cbf
|
Update all source packages for xbps-src>=90.
|
2014-01-01 16:10:11 +01:00 |
|
Juan RP
|
63f1b25a14
|
gnome-shell-extensions: update to 3.10.1.
|
2013-10-15 21:51:58 +02:00 |
|
Juan RP
|
1572185ad5
|
gnome-shell-extensions: remove redundant build-deps.
|
2013-09-26 23:06:28 +02:00 |
|
Juan RP
|
805580b7b0
|
gnome-shell-extensions: update to 3.10.0.
|
2013-09-26 23:02:19 +02:00 |
|
Juan RP
|
0f6397f84b
|
gnome-shell-extensions: update to 3.8.4.
|
2013-09-13 14:10:09 +02:00 |
|
Juan RP
|
7fe94e4b78
|
gnome-shell-extensions: update to 3.8.3.1.
|
2013-07-31 08:09:31 +02:00 |
|
Juan RP
|
e21b4c8638
|
gnome-shell-extensions: needs unzip at runtime to be able to install extensions from www.
Problem found and detected by xdave; fixes #85
|
2013-06-14 08:17:29 +02:00 |
|
Juan RP
|
4293fe4515
|
gnome-shell-extensions: update to 3.8.3.
|
2013-06-11 00:19:47 +02:00 |
|
Juan RP
|
98a27b79e7
|
gnome-shell-extensions: fix nautilus version requirement.
|
2013-05-14 11:23:17 +02:00 |
|
Juan RP
|
ffa639b465
|
gnome-shell-extensions: update to 3.8.2.
|
2013-05-14 08:11:29 +02:00 |
|
Juan RP
|
acde39ede2
|
New package: gnome-shell-extensions-3.8.1.
|
2013-04-18 00:21:04 +02:00 |
|
Juan RP
|
b1a9384520
|
gnome-shell-extensions: remove; obsolete in 3.4.
|
2012-05-31 14:51:55 +02:00 |
|
Juan RP
|
1816de0e4a
|
Update all packages for xbps-src>=28. WARNING: xbps-src-28 (or from git) required!
|
2012-05-23 18:26:56 +02:00 |
|
Juan RP
|
23dd7d008e
|
Update build_style for all templates.
- There's no need to set build_style for custom-install (default).
- gnu_{configure,makefile} renamed to gnu-{configure,makefile}.
|
2011-10-24 14:14:47 +02:00 |
|
Juan RP
|
9bf74ecacc
|
gnome-shell-extensions: update to 3.2.0.
|
2011-10-05 22:20:15 +02:00 |
|
Juan RP
|
007dee61c1
|
No need to specify the 'gsettings-schemas' trigger manually.
|
2011-10-05 09:42:53 +02:00 |
|
Juan RP
|
07673cf4d0
|
gnome-shell-extensions: needs gnome-desktop-devel to build.
|
2011-07-05 13:20:27 +02:00 |
|
Juan RP
|
96257e13c4
|
Added gnome-shell-extensions-3.0.2 build template.
|
2011-05-26 09:21:18 +02:00 |