anchor.diff:        net
         vultr
       ];
  -    date = "2017-04-05";
  +    date = "2017-04-26";
     };
   
     lemma = buildFromGitHub {
  
positive.code: 
    goorgeous = buildFromGitHub {
      version = 2;
      rev = "5d094ef478c140a32b46ddb7b8234c789629de26";
      date = "2017-04-12";
      owner = "chaseadamsio";
      repo = "goorgeous";
      sha256 = "19bq3w6dfmznbz1pa2aq88774cpjxb0iswvr9pc1ymg24gy4435k";
      propagatedBuildInputs = [
        blackfriday
        sanitized-anchor-name
  
negative.code: 
    gx-go = buildFromGitHub {
      version = 2;
      rev = "c083961707697e230e779d56b0a3e2ac632139ed";
      owner = "whyrusleeping";
      repo = "gx-go";
      sha256 = "09v2x0y63imy6cfjcs0b1p4ljc1y6267v2mg18jd47k3az8wl24q";
      buildInputs = [
        urfave_cli
        fs
  