diff --git a/build-in-docker.conf b/build-in-docker.conf
index 692d2fd..5f927ba 100644
--- a/build-in-docker.conf
+++ b/build-in-docker.conf
@@ -1,4 +1,6 @@
 repos+=("Debian|Ubuntu-precise::::::universe")
 repos+=("Ubuntu-precise:::'deb http://archive.ubuntu.com/ubuntu precise universe'")
+repos+=("https://dev.marc.waeckerlin.org/repository")
+keys+=("https://dev.marc.waeckerlin.org/repository/PublicKey")
 envs+=("-e 'HOME=${HOME}'")
 dirs+=("-v ${HOME}/.gnupg:${HOME}/.gnupg:ro")