anchor.diff:      version = 6;
       owner = "libp2p";
       repo = "go-libp2p-crypto";
  -    date = "2018-03-18";
  -    rev = "18915b5467c77ad8c07a35328c2cab468667a4e8";
  -    sha256 = "1s5yy9p0kgxlrlcyvkjh5wl04gkpsvjcm9gy7rzk1kvvwvz2paly";
  +    rev = "v1.6.2";
  +    sha256 = "03ij86hq40cpnnxgjka365xy0sb3dbp38sdwpvb6912hrsypp8qp";
       propagatedBuildInputs = [
         btcd
         ed25519
  
positive.code: 
    go-ipfs-api = buildFromGitHub {
      version = 6;
      rev = "d204576299ddab1140d043d0abb0d9b60a8a5af4";
      owner  = "ipfs";
      repo   = "go-ipfs-api";
      sha256 = "036nyx4dgdybvnljdph8yaxsb2x3a26dv5v74416k7m11falp7fx";
      excludedPackages = "tests";
      propagatedBuildInputs = [
        go-homedir
  
negative.code:       grep -q 'FormatInt(whoamiResponse.Data.Account.ID,' providers/dns/dnsimple/dnsimple.go
        sed -i 's#FormatInt(whoamiResponse.Data.Account.ID,#FormatInt(int64(whoamiResponse.Data.Account.ID),#' providers/dns/dnsimple/dnsimple.go
      '';
    };
  
    lemma = buildFromGitHub {
  