Index of /debian/pool/main/g/gnome-shell-extension-pixelsaver

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 gnome-shell-extensio..> 12-Oct-2020 08:00  2.2K  
 gnome-shell-extensio..> 19-Nov-2022 09:57  2.2K  
 gnome-shell-extensio..> 09-Jan-2020 12:43  2.2K  
 gnome-shell-extensio..> 30-Aug-2018 10:53  2.3K  
 gnome-shell-extensio..> 30-Aug-2018 10:53  9.1K  
 gnome-shell-extensio..> 09-Jan-2020 12:43  9.3K  
 gnome-shell-extensio..> 12-Oct-2020 08:00  9.4K  
 gnome-shell-extensio..> 19-Nov-2022 09:57  9.9K  
 gnome-shell-extensio..> 30-Aug-2018 10:53  109K  
 gnome-shell-extensio..> 09-Jan-2020 12:43  112K  
 gnome-shell-extensio..> 12-Oct-2020 08:55  113K  
 gnome-shell-extensio..> 19-Nov-2022 10:22  113K  
 gnome-shell-extensio..> 19-Nov-2022 09:57  140K  
 gnome-shell-extensio..> 30-Aug-2018 10:53  166K  
 gnome-shell-extensio..> 06-Jan-2020 09:45  170K  
 gnome-shell-extensio..> 12-Oct-2020 08:00  174K