nilqed/pure_complete_ppa repository overview

 __ \  |   |  __| _ \    Pure 0.68 (x86_64-pc-linux-gnu)
 |   | |   | |    __/    Copyright (c) 2008-2018 by Albert Graef
 .__/ \__,_|_|  \___|    (Type 'help' for help, 'help copying'
_|                       for license information.)

Loaded prelude from /usr/lib/pure/prelude.pure.

> using reduce;
Reduce (Free CSL version), 23-Jan-18 ...
> using octave;
> simplify $ df (sin (cos x)) x  ;
-cos (cos x)*sin x
> quit

kfp@euler:~/devel/pure_docker/ppa-pure-bionic$ cat Dockerfile
# **************************************************************************
# Purpose ...: Pure (complete) installation on Ubuntu:latest
# Build .... : docker build -t pure_complete_ppa .
# Test ..... : docker run -t -i pure_complete_ppa [/bin/bash| pure -i]
# Version .. : 30-NOV-2018
# OS ....... : ubuntu:latest 
# **************************************************************************

FROM ubuntu:latest

LABEL pure-complete-ppa <[email protected]>

ENV DEBIAN_FRONTEND noninteractive
# discouraged: see https://docs.docker.com/engine/faq/
# but necessary because of config 'tzdata' (queries time zone)

MAINTAINER Kurt Pagani <[email protected]> 

RUN apt-get update && apt-get install -y -q  software-properties-common
RUN apt-get install -y -q apt-utils
RUN add-apt-repository ppa:dr-graef/pure-lang.bionic
RUN apt-get update
RUN apt-get install -y -q pure-complete

Sending build context to Docker daemon  4.096kB
Step 1/8 : FROM ubuntu:latest
 ---> 93fd78260bd1
Step 2/8 : LABEL pure-complete-ppa <[email protected]>
 ---> Using cache
 ---> fc15f2c2674a
Step 3/8 : ENV DEBIAN_FRONTEND noninteractive
 ---> Running in 9666de53fb1f
...

The push refers to repository [docker.io/nilqed/pure_complete_ppa]
c301e66b52b0: Pushed 
db55d794ca07: Pushed 
f743cf796b18: Pushed 
9dc0cddf1bd5: Pushed 
b9b7103af585: Pushed 
ca2991e4676c: Pushed 
a768c3f3878e: Pushed 
bc7f4b25d0ae: Pushed