[ubuntu/focal-proposed] pop-gtk-theme 5.2.0~1586289568~20.04~f35b83b~ubuntu1 (Accepted)

[Sebastien Bacher]

pop-gtk-theme (5.2.0~1586289568~20.04~f35b83b~ubuntu1) focal; urgency=medium

  * Update to the current popOS version, fix build with current gtk
  * Based on pop upstream version:
    - Keep some unecessary code to not diverge from it.
    - Use a lower version ~ubuntuX than the derivative pop one to avoid
      breaking them.
  * Do not change the gdm alternative automatically. Install the Shell theme
    shouldn't change the global gdm look for all users.
    Let them install with:
     update-alternatives --install /usr/share/gnome-shell/theme/gdm3.css \
     gdm3.css /usr/share/gnome-shell/theme/pop.css 20
    and remove with:
     update-alternatives --remove gdm3.css /usr/share/gnome-shell/theme/pop.css

Date: Thu, 16 Apr 2020 22:03:08 +0200
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/pop-gtk-theme/5.2.0~1586289568~20.04~f35b83b~ubuntu1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Apr 2020 22:03:08 +0200
Source: pop-gtk-theme
Binary: pop-gnome-shell-theme pop-gtk-theme pop-sound-theme
Architecture: source
Version: 5.2.0~1586289568~20.04~f35b83b~ubuntu1
Distribution: focal
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Description:
 pop-gnome-shell-theme - Pop GNOME Shell Theme
 pop-gtk-theme - Pop GTK Theme
 pop-sound-theme - Pop sound theme
Changes:
 pop-gtk-theme (5.2.0~1586289568~20.04~f35b83b~ubuntu1) focal; urgency=medium
 .
   * Update to the current popOS version, fix build with current gtk
   * Based on pop upstream version:
     - Keep some unecessary code to not diverge from it.
     - Use a lower version ~ubuntuX than the derivative pop one to avoid
       breaking them.
   * Do not change the gdm alternative automatically. Install the Shell theme
     shouldn't change the global gdm look for all users.
     Let them install with:
      update-alternatives --install /usr/share/gnome-shell/theme/gdm3.css \
      gdm3.css /usr/share/gnome-shell/theme/pop.css 20
     and remove with:
      update-alternatives --remove gdm3.css /usr/share/gnome-shell/theme/pop.css
Checksums-Sha1:
 d5bd1b4dacf541ba462d429947db4e522ae1f63b 1323 pop-gtk-theme_5.2.0~1586289568~20.04~f35b83b~ubuntu1.dsc
 d0bd344d5f13fb8fb6a44fc928b2578f43dd1d22 2159116 pop-gtk-theme_5.2.0~1586289568~20.04~f35b83b~ubuntu1.tar.xz
Checksums-Sha256:
 4373c4738d3e20ca5e4ef6daeeda5b127c506a8d5a6fb222feabac863b06dfe0 1323 pop-gtk-theme_5.2.0~1586289568~20.04~f35b83b~ubuntu1.dsc
 d80c71fad16357c683060e82706f34a91d395d5037c086954a579c36c0455f11 2159116 pop-gtk-theme_5.2.0~1586289568~20.04~f35b83b~ubuntu1.tar.xz
Files:
 a95ab54ebe7893555b45c27c7786789d 1323 misc optional pop-gtk-theme_5.2.0~1586289568~20.04~f35b83b~ubuntu1.dsc
 f7585520a7fda21da960306cc547e796 2159116 misc optional pop-gtk-theme_5.2.0~1586289568~20.04~f35b83b~ubuntu1.tar.xz
Original-Maintainer: Ian Santopietro <ian at system76.com>