added mrw repo

8 years ago · 41109a38e7
parent 08e884e286
commit 41109a38e7
1 changed files with 2 additions and 0 deletions
--- 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")