# HG changeset patch
# User Volker Grabsch <vog@notjusthosting.com>
# Date 1324027293 -3600
# Node ID 44e3d954a3ad2247253f2419b587985059521888
# Parent  46ff01670040816588c57b3e94a712a5fdc9ee66
Fixed download URL of package eigen: HTTP redirects to HTTPS, so we should use the HTTPS URL directly

diff -r 46ff01670040 -r 44e3d954a3ad src/eigen.mk
--- a/src/eigen.mk	Fri Dec 16 10:20:05 2011 +0100
+++ b/src/eigen.mk	Fri Dec 16 10:21:33 2011 +0100
@@ -9,7 +9,7 @@
 $(PKG)_SUBDIR   := $(PKG)-$(PKG)-$($(PKG)_VERSION)
 $(PKG)_FILE     := $($(PKG)_VERSION).tar.gz
 $(PKG)_WEBSITE  := http://eigen.tuxfamily.org/
-$(PKG)_URL      := http://bitbucket.org/$(PKG)/$(PKG)/get/$($(PKG)_FILE)
+$(PKG)_URL      := https://bitbucket.org/$(PKG)/$(PKG)/get/$($(PKG)_FILE)
 $(PKG)_DEPS     := gcc
 
 define $(PKG)_UPDATE