Important notice:
On August 2, 2017 a new GPG key was generated to sign Debian and
Ubuntu packages with. If you installed the MonetDB GPG public
key before that time, please just do so again per the instructions
below.