anchor.diff:      subPackages = [
         "."
       ];
  -    date = "2016-11-19";
  +    date = "2016-12-01";
     };
   
     lemma = buildFromGitHub {
  
positive.code:       # Create a config.h and proper headers
        export COLLECTD_SRC="$(pwd)/collectd-src"
        mkdir -pv "$COLLECTD_SRC"
        tar -vxjf '${pkgs.collectd.src}' -C "$COLLECTD_SRC"
        srcdir="$(echo "$COLLECTD_SRC"/collectd-*)"
        # Run configure to generate config.h
        pushd "$srcdir" >/dev/null
  
negative.code:     version = 2;
      owner = "sethgrid";
      repo = "pester";
      rev = "ab3a58f3fbc32058b25cf9e416272cf0097be523";
      date = "2016-12-02";
      sha256 = "1zvvkxxgirp0mcwnlddwpgsbziksnnlmsy38dq9gsb6lajr2r3ax";
    };
  
    pflag = buildFromGitHub {
  