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
|
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 |