Category:Extensions available as Debian packages

The following extensions can be downloaded as.