From 45f442297fec40b0aa0acd29eed696a895c81a7c Mon Sep 17 00:00:00 2001
From: Anton Akhmerov <anton.akhmerov@gmail.com>
Date: Sun, 8 Sep 2013 11:12:05 +0200
Subject: [PATCH] update debian repo location

---
 INSTALL | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/INSTALL b/INSTALL
index c0a87be..d3a68a1 100644
--- a/INSTALL
+++ b/INSTALL
@@ -41,8 +41,8 @@ The lines prefixed with ``sudo`` have to be run as root.
 
 1. Add the following lines to ``/etc/apt/sources.list``::
 
-       deb http://kwant-project.org/debian/ stable main
-       deb-src http://kwant-project.org/debian/ stable main
+       deb http://dowloads.kwant-project.org/debian/ stable main
+       deb-src http://dowloads.kwant-project.org/debian/ stable main
 
 2. (Optional) Add the OpenPGP key used to sign the repositories by executing::
 
-- 
GitLab