Skip to content
Snippets Groups Projects
Select Git revision
  • 342ba2dd81fefe1c6305af57187302aaea9249bf
  • master default protected
  • klee-analysis
  • v0.2.0
  • v0.1.2
  • v0.1.1
  • v0.1.0
7 results

Dockerfile

Blame
  • Jorge Aparicio's avatar
    Jorge Aparicio authored
    342ba2dd
    History
    Dockerfile 167 B
    FROM ubuntu:16.04
    RUN apt-get update
    RUN apt-get install -y --no-install-recommends \
        ca-certificates curl libcurl4-openssl-dev libssh2-1
    ENV PATH=$PATH:/rust/bin