myriad/languages/idris/Dockerfile

FROM alpine:latest

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

COPY run.sh /var/run/
Alpine latest not stable 2019-07-22 00:56:47 +02:00			`FROM alpine:latest`
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/`