Ubuntu
gnome-shell-extension-tiling-assistant package

  1. Bug #2034664
  2. Comment #23

Comment 23 for bug 2034664

Revision history for this message
Simon Engelsman (simon-engelsman) wrote :

Hello,

The priority of manic-proposed is lower (100) than mantic (500). You can override it in `/etc/apt/preferences.d`, see `/usr/share/doc/apt/examples` or manually install the package you want from mantic-proposed:

```
apt-get install gnome-shell-extension-ubuntu-dock=87ubuntu2
```