anchor.diff:  RUN apt-get update && apt-get install -y \
         linux-tools-3.13.0-32-generic libc6-dbg \
         wget vim emacs make git mercurial \
  -      zlib1g-dev libreadline6 libreadline6-dev libncurses5-dev libgmp-dev \
  +      zlib1g-dev libreadline6 libreadline6-dev libncurses5-dev libgmp-dev libyaml-dev \
         autoconf automake libtool \
  -      clang-3.5 libbz2-dev
  -
  +      clang-3.5 libbz2-dev \
  +      aptitude tmux python-pip ruby
   
   # Install and configure GCC 4.9
   RUN add-apt-repository ppa:ubuntu-toolchain-r/test
  
positive.code: RUN add-apt-repository -y ppa:avsm/ppa && apt-get update && \
      apt-get install -y ocaml ocaml-native-compilers camlp4-extra opam time && \
      export OPAMYES=1 && export OCAMLRUNPARAM=b && opam init && eval `opam config env` && opam install ocamlfind
  
  # Install Ruby
  RUN apt-get install -y ruby
  
  RUN mkdir -p /software/boost-1.56 && \
      cd /software/boost-1.56 && \
  
negative.code:     make && \
      make install
  
  # python pip installs
  RUN pip install pyyaml
  
  # Clone K3, K3-Mosaic from Git
  RUN mkdir -p /k3/K3 /k3/K3-Mosaic && \
      git clone https://github.com/DaMSL/K3.git /k3/K3 && \
  