anchor.diff:  
   # OCaml
   WORKDIR /root
  -RUN curl -L https://github.com/ocaml/ocaml/archive/4.02.1.tar.gz |tar -xz
  -WORKDIR /root/ocaml-4.02.1
  -RUN ./configure
  -RUN make world.opt
  -RUN make install
  +RUN curl -L https://github.com/ocaml/ocaml/archive/4.02.3.tar.gz |tar -xz
  +WORKDIR /root/ocaml-4.02.3
  +RUN ./configure && make world.opt && make install
   
   # Camlp4
   WORKDIR /root
  -RUN curl -L https://github.com/ocaml/camlp4/archive/4.02.1+1.tar.gz |tar -xz
  -WORKDIR /root/camlp4-4.02.1-1
  -RUN ./configure
  -RUN make all
  -RUN make install
  +RUN curl -L https://github.com/ocaml/camlp4/archive/4.02+6.tar.gz |tar -xz
  +WORKDIR /root/camlp4-4.02-6
  +RUN ./configure && make all && make install
   
   # OPAM
   WORKDIR /root
  -RUN curl -L https://github.com/ocaml/opam/archive/1.2.0.tar.gz |tar -xz
  -WORKDIR opam-1.2.0
  -RUN ./configure
  -RUN make lib-ext
  -RUN make
  -RUN make install
  +RUN curl -L https://github.com/ocaml/opam/archive/1.2.2.tar.gz |tar -xz
  +WORKDIR opam-1.2.2
  +RUN ./configure && make lib-ext && make && make install
  +
  +# Tools
  +RUN apt-get install -y inotify-tools aspcud unzip
   
   # Initialize OPAM
   RUN opam init
  
positive.code: FROM ubuntu:14.10
  MAINTAINER Guillaume Claret
  
  RUN apt-get update && apt-get upgrade -y
  
negative.code: # Coq
  RUN opam install -y coq
  
  # Coq repository
  RUN opam repo add coq-released https://coq.inria.fr/opam/released
  
  # Dependencies
  RUN opam install -y coq-error-handlers coq-function-ninjas coq-iterable coq-list-string coq-moment
  RUN opam install -y coq-concurrency-proxy coq-concurrency-system
  
  # Build
  ADD . /root/pluto
  