From cd844d4af087847bc29db23184d4807d3640965a Mon Sep 17 00:00:00 2001
From: Michael Wimmer <wimmer@lorentz.leidenuniv.nl>
Date: Fri, 6 Sep 2013 16:31:30 +0200
Subject: [PATCH] update macports repo path

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

diff --git a/INSTALL b/INSTALL
index a7a680d..3832349 100644
--- a/INSTALL
+++ b/INSTALL
@@ -94,10 +94,10 @@ In order to install Kwant, you have to
 
 2. After the installation, open a terminal and execute ::
 
-       echo http://dl.dropboxusercontent.com/u/769003/ports.tar | sudo tee -a /opt/local/etc/macports/sources.conf >/dev/null
+       echo http://downloads.kwant-project.org/macports/ports.tar | sudo tee -a /opt/local/etc/macports/sources.conf >/dev/null
 
    (this adds the Kwant MacPorts download link
-   `<http://dl.dropboxusercontent.com/u/769003/ports.tar>`_ at the end of the
+   `<http://downloads.kwant-project.org/macports/ports.tar>`_ at the end of the
    ``sources.conf`` file.)
 
 3. Execute ::
-- 
GitLab