Pemerintah Provinsi Papua
Server Mirror

Index of /raspbian/pool/main/g/gnome-shell-extension-manager/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gnome-shell-extension-manager_0.5.1.orig.tar.gz 22480712024-May-01 20:46
gnome-shell-extension-manager_0.5.1-2_armhf.deb 1335002024-Jun-17 10:08
gnome-shell-extension-manager_0.5.1-2.dsc 23942024-Jun-12 12:04
gnome-shell-extension-manager_0.5.1-2.debian.ta..> 30722024-Jun-12 12:04
gnome-shell-extension-manager_0.4.0.orig.tar.gz 14769512023-Jan-24 18:11
gnome-shell-extension-manager_0.4.0-1_armhf.deb 998882023-Feb-10 02:26
gnome-shell-extension-manager_0.4.0-1.dsc 24212023-Jan-24 18:11
gnome-shell-extension-manager_0.4.0-1.debian.ta..> 45362023-Jan-24 18:11