anchor.diff:  
   
   # # # ==== MUNGE
  -RUN apt-get install -y --no-install-recommends libmunge-dev libmunge2 munge
   
   # # # add MUNGE RSA key
   # ADD munge.key /etc/munge/
  
positive.code: # # TLS-related
  RUN apt-get -qq install -y --no-install-recommends ca-certificates debian-keyring debian-archive-keyring
  RUN apt-key update
  RUN apt-get -qq update
  
  # # Install tools
  RUN apt-get -qq install -y --no-install-recommends make gcc bzip2 unzip gfortran wget curl python pkg-config perl
  
  # # # ==== kernel stuff
  # # RUN apt-get install linux-headers-$(uname -r)
  
negative.code: 
  
  # # # ==== SLURM
  
  
  
  
  # # # clean local package archive
  
  
  
  