anchor.diff:      };
   
       "certifi" = python.mkDerivation {
  -      name = "certifi-2018.4.16";
  -      src = pkgs.fetchurl { url = "https://files.pythonhosted.org/packages/4d/9c/46e950a6f4d6b4be571ddcae21e7bc846fcbb88f1de3eff0f6dd0a6be55d/certifi-2018.4.16.tar.gz"; sha256 = "13e698f54293db9f89122b0581843a782ad0934a4fe0172d2a980ba77fc61bb7"; };
  +      name = "certifi-2018.8.24";
  +      src = pkgs.fetchurl { url = "https://files.pythonhosted.org/packages/e1/0f/f8d5e939184547b3bdc6128551b831a62832713aa98c2ccdf8c47ecc7f17/certifi-2018.8.24.tar.gz"; sha256 = "376690d6f16d32f9d1fe8932551d80b23e9d393a8578c5633a2ed39a64861638"; };
         doCheck = commonDoCheck;
         checkPhase = "";
         installCheckPhase = "";
  
positive.code:     };
  
      "attrs" = python.mkDerivation {
        name = "attrs-18.1.0";
        src = pkgs.fetchurl { url = "https://files.pythonhosted.org/packages/e4/ac/a04671e118b57bee87dabca1e0f2d3bda816b7a551036012d0ca24190e71/attrs-18.1.0.tar.gz"; sha256 = "e0d0eb91441a3b53dab4d9b743eafc1ac44476296a2053b6ca3af0b139faf87b"; };
        doCheck = commonDoCheck;
        checkPhase = "";
        installCheckPhase = "";
  
negative.code:       };
      };
  
      "py-gfm" = python.mkDerivation {
        name = "py-gfm-0.1.3";
        src = pkgs.fetchurl { url = "https://files.pythonhosted.org/packages/12/e4/6b3d8678da04f97d7490d8264d8de51c2dc9fb91209ccee9c515c95e14c5/py-gfm-0.1.3.tar.gz"; sha256 = "f107e43248eba6236b19ceda78531f40c7bdb85ba4a219f478c92920397f4f98"; };
        doCheck = commonDoCheck;
        checkPhase = "";
        installCheckPhase = "";
        buildInputs = commonBuildInputs;
        propagatedBuildInputs = [
        self."Markdown"
      ];
        meta = with pkgs.stdenv.lib; {
          homepage = "https://github.com/zopieux/py-gfm";
          license = licenses.bsdOriginal;
          description = "An implementation of Github-Flavored Markdown written as an extension to the Python Markdown library.";
        };
      };
  
      "pyjade" = python.mkDerivation {
        name = "pyjade-4.0.0";
        src = pkgs.fetchurl { url = "https://files.pythonhosted.org/packages/4a/04/396ec24e806fd3af7ea5d0f3cb6c7bbd4d00f7064712e4dd48f24c02ca95/pyjade-4.0.0.tar.gz"; sha256 = "8d95b741de09c4942259fc3d1ad7b4f48166e69cef6f11c172e4b2c458b1ccd7"; };
  