| http://www.w3.org/ns/prov#value | - The instructions below replace the official GetDeb / PlayDeb repository with a mirror and they should work on Ubuntu 12.10 and older versions as well as Linux Mint and other Ubuntu-based Linux distributions (separate instructions, see below).
|
