Priority 500 is enough in default Debian from pbuilder.

diff --git a/pbuilder/G00precedence b/pbuilder/G00precedence
index 43a81f3..106526a 100755 (executable)
--- a/pbuilder/G00precedence
+++ b/pbuilder/G00precedence
@@ -3,10 +3,8 @@ cat > /etc/apt/preferences.d/scientific <<EOF
 # at least the same priority as main OS repository
 Package: *
 Pin: origin "scientific.zcu.cz"
-Pin-Priority: 900
+Pin-Priority: 500
 EOF
-#vlt old: apt-key adv --keyserver subkeys.pgp.net --recv-keys 0x5EFA8A237157882F
-#vlt new: apt-key adv --keyserver subkeys.pgp.net --recv-keys 0xC9CFD6911B238C53
 apt-key adv --fetch-keys http://scientific.zcu.cz/repos/valtri.asc
 apt-key adv --fetch-keys http://scientific.zcu.cz/repos/valtri2.asc
 apt-key adv --fetch-keys http://scientific.zcu.cz/repos/jenkins-builder.asc