Directory listing of /ubuntu/pool/universe/g/gnome-shell-extension-manager/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
gnome-shell-extension-manager_0.3.0-0ubuntu2.1_amd64.deb
88.3 KiB
2022-May-13 13:15
gnome-shell-extension-manager_0.3.0-0ubuntu1_amd64.deb
69.6 KiB
2022-Apr-20 21:18