Index of /trisquel/packages/pool/main/g/gnome-shell-extension-manager

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 gnome-shell-extension-manager_0.5.0-1build1_ris..> 2024-04-03 11:51  159K  
 gnome-shell-extension-manager_0.5.0-1build1_ppc..> 2024-04-02 18:07  176K  
 gnome-shell-extension-manager_0.5.0-1build1_amd..> 2024-04-01 03:33  159K  
 gnome-shell-extension-manager_0.5.0-1build1_arm..> 2024-03-31 15:13  144K  
 gnome-shell-extension-manager_0.5.0-1build1_arm..> 2024-03-31 15:13  157K  
 gnome-shell-extension-manager_0.5.0-1build1.dsc    2024-03-31 15:11  2.5K  
 gnome-shell-extension-manager_0.5.0-1build1.deb..> 2024-03-31 15:11  2.7K  
 gnome-shell-extension-manager_0.4.3-1_armhf.deb    2024-03-30 08:49  154K  
 gnome-shell-extension-manager_0.5.0.orig.tar.gz    2024-03-23 09:52  2.1M  
 gnome-shell-extension-manager_0.4.3-1_riscv64.deb  2023-11-26 13:35  167K  
 gnome-shell-extension-manager_0.4.3-1_ppc64el.deb  2023-11-26 13:35  182K  
 gnome-shell-extension-manager_0.4.3-1_arm64.deb    2023-11-26 13:35  167K  
 gnome-shell-extension-manager_0.4.3-1_amd64.deb    2023-11-26 13:35  169K  
 gnome-shell-extension-manager_0.4.3.orig.tar.gz    2023-11-26 13:35  1.4M  
 gnome-shell-extension-manager_0.4.3-1.dsc          2023-11-26 13:35  2.3K  
 gnome-shell-extension-manager_0.4.3-1.debian.ta..> 2023-11-26 13:35  2.5K  
 gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 2022-05-13 20:15   97K  
 gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 2022-05-13 20:15   79K  
 gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 2022-05-13 20:15   86K  
 gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 2022-05-13 20:15   88K  
 gnome-shell-extension-manager_0.3.0-0ubuntu2.1.dsc 2022-05-13 20:14  2.7K  
 gnome-shell-extension-manager_0.3.0-0ubuntu2.1...> 2022-05-13 20:14  3.6K  
 gnome-shell-extension-manager_0.3.0-0ubuntu1_pp..> 2022-04-21 04:18   79K  
 gnome-shell-extension-manager_0.3.0-0ubuntu1_ar..> 2022-04-21 04:18   61K  
 gnome-shell-extension-manager_0.3.0-0ubuntu1_ar..> 2022-04-21 04:18   68K  
 gnome-shell-extension-manager_0.3.0-0ubuntu1_am..> 2022-04-21 04:18   70K  
 gnome-shell-extension-manager_0.3.0.orig.tar.gz    2022-04-21 03:14  1.4M  
 gnome-shell-extension-manager_0.3.0-0ubuntu1.dsc   2022-04-21 03:14  2.7K  
 gnome-shell-extension-manager_0.3.0-0ubuntu1.de..> 2022-04-21 03:14  3.2K