Commit 58b4d598 authored by Ben Gamari's avatar Ben Gamari 🐢

x86_64-linux-deb10: Fix incorrect distribution name

parent 58886fa4
......@@ -9,7 +9,7 @@ RUN apt-get update -qq; apt-get install --no-install-recommends -qy gnupg dirmng
&& rm -rf /var/lib/apt/lists/*
RUN echo 'deb stretch main' > /etc/apt/sources.list.d/ghc.list
RUN echo 'deb buster main' > /etc/apt/sources.list.d/ghc.list
RUN apt-key adv --keyserver --recv-keys BA3CBA3FFE22B574
# Core build utilities
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment