Category:Extensions available as Debian packages

The following extensions can be downloaded as Debian packages.