From 6e340dfe8b5cef8ef1138a156d37b65ccbb98851 Mon Sep 17 00:00:00 2001
From: Joseph Weston <joseph@weston.cloud>
Date: Wed, 23 Oct 2019 15:51:22 +0200
Subject: [PATCH] use Debian stable when specifying Kwant debian upstream
---
docker/Dockerfile.debian | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docker/Dockerfile.debian b/docker/Dockerfile.debian
index de47cca8..31e6934a 100644
--- a/docker/Dockerfile.debian
+++ b/docker/Dockerfile.debian
@@ -6,7 +6,7 @@ ENV LC_ALL C.UTF-8
RUN apt-get update && apt-get install -y --no-install-recommends \
gnupg dirmngr apt-transport-https ca-certificates curl software-properties-common
-RUN echo "deb http://downloads.kwant-project.org/debian/ stretch-backports main" >> /etc/apt/sources.list && \
+RUN echo "deb http://downloads.kwant-project.org/debian/ stable main" >> /etc/apt/sources.list && \
apt-key adv --no-tty --keyserver pool.sks-keyservers.net --recv-key C3F147F5980F3535 && \
apt-get update && apt-get install -y --no-install-recommends \
# all the hard non-Python dependencies
--
GitLab