{
  "name": "Tor Control",
  "description": "Change Tor identity from the panel",
  "shell-version": [
    "3.14"
  ],
  "url": "https://github.com/fqxp/gnome-shell-extension-tor",
  "uuid": "tor@gnome-shell-extension.fqxp.de",
  "version": 1
}