myriad/languages/idris/Dockerfile

FROM alpine:stable

RUN echo "@testing http://nl.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories && \
    apk update && \
    apk add idris@testing

COPY run.sh /var/run/
Use alpine stable 2019-07-22 00:55:38 +02:00			`FROM alpine:stable`
Add docker image for executing Idris 2019-07-22 00:53:23 +02:00
			`RUN echo "@testing http://nl.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories && \`
			`apk update && \`
			`apk add idris@testing`

			`COPY run.sh /var/run/`