From a97c2e008feb65bd0a2abe38302c4ccce4b6b483 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Franti=C5=A1ek=20Dvo=C5=99=C3=A1k?= <valtri@civ.zcu.cz>
Date: Mon, 22 Jul 2013 11:55:44 +0200
Subject: [PATCH] Priority 500 is enough in default Debian from pbuilder.

---
 pbuilder/G00precedence | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/pbuilder/G00precedence b/pbuilder/G00precedence
index 43a81f3..106526a 100755
--- 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
-- 
1.8.2.3