anchor.diff:      #snap-server
       #snap
       peacoq-server
  -  ]);
  +  ] ++ (with ocamlPackages_4_02; [
  +      ocaml
  +      findlib
  +      camlp5_6_strict
  +      lablgtk
  +      ppx_import
  +      cmdliner
  +      core_kernel
  +      sexplib
  +    ])
  +  );
     nativeBuildInputs = (with nixpkgs; [
       zlib
       zlibStatic
  
positive.code:   shellHook = ''
      export NIXSHELL="$NIXSHELL\[PeaCoq\]"
      export SSL_CERT_FILE="/etc/ssl/certs/ca-bundle.crt"
      eval `opam config env`
      echo -e "\nRemember to run setup.sh again\n"
      # ./setup.sh
    '';
  
negative.code:     #cabal-install
      #coq_8_5
      ghc
      # gnome3.gtk
      haskellPackages.zlib
      nodejs
      zlib
      zlibStatic
  
  