gnome-shell-extensions : Code : “Gnome-Shell-Extensions developers” team

“Gnome-Shell-Extensions developers” team

created on 2017-09-22

Build status

Successfully built on lcy01-21

Started on 2017-09-22
Finished on 2017-09-22 (took 2 minutes, 17.7 seconds)
buildlog (8.3 KiB)

Build details

Recipe:: Recipe gnome-shell-extensions-enhancements for Gnome-Shell-Extensions developers

Archive:: gnome-shell-extensions

Series:: Zesty

Pocket:: Release

Binary builds:: amd64 build of gnome-shell-extensions-enhancements 0.1-0~7~ubuntu17.04.1 in ubuntu zesty RELEASE [~gnome-shell-extensions/ubuntu/ppa]