From 3267ed817362c3add72f8c4992e498e82c15c949 Mon Sep 17 00:00:00 2001 From: parazyd Date: Thu, 21 Apr 2016 18:36:49 +0200 Subject: [PATCH] curl doesn't play well with https --- arm/profiles/common-devuan | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arm/profiles/common-devuan b/arm/profiles/common-devuan index b8b574f..cf4715e 100644 --- a/arm/profiles/common-devuan +++ b/arm/profiles/common-devuan @@ -26,7 +26,7 @@ release=jessie section=main version=alpha4 -mirror=https://packages.devuan.org/merged +mirror=http://packages.devuan.org/merged core_packages=(debian-keyring devuan-keyring) core_packages+=(git-core binutils ca-certificates initramfs-tools u-boot-tools)