Prepare for the new GPG key.

diff --git a/pbuilder/G00precedence b/pbuilder/G00precedence
index dc133a4..8a4621c 100755 (executable)
--- a/pbuilder/G00precedence
+++ b/pbuilder/G00precedence
@@ -5,4 +5,5 @@ Package: *
 Pin: origin "scientific.zcu.cz"
 Pin-Priority: 900
 EOF
-apt-key adv --keyserver subkeys.pgp.net --recv-keys 7157882F
+apt-key adv --keyserver subkeys.pgp.net --recv-keys 0x5EFA8A237157882F
+apt-key adv --keyserver subkeys.pgp.net --recv-keys 0xC9CFD6911B238C53