From 1610e2c15d2e6892fc5bb0cbe12a733ea74a2bfb Mon Sep 17 00:00:00 2001
From: vzwGrey <vzwgrey@gmail.com>
Date: Mon, 22 Jul 2019 00:56:47 +0200
Subject: [PATCH] Alpine latest not stable

---
 languages/idris/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/languages/idris/Dockerfile b/languages/idris/Dockerfile
index 10dcfd3..04b8d8f 100644
--- a/languages/idris/Dockerfile
+++ b/languages/idris/Dockerfile
@@ -1,4 +1,4 @@
-FROM alpine:stable
+FROM alpine:latest
 
 RUN echo "@testing http://nl.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories && \
     apk update && \