anchor.diff:      {
         getline id<"xml-id";
         getline hash<"hash";
  +      getline hashtype<"hash-type";
         print "Domain: " $1;
         print "Id: " id;
         print "Hash: " hash;
  +      print "HashType: " hashtype;
         print "Flags: " $5;
         print "Protocol: " $6;
         print "Algorithm: " $7;
  
positive.code: fetchurl {
    name = "dnssec-root-2010-07-15";
    url = "https://data.iana.org/root-anchors/root-anchors.xml";
    sha256 = "0higqh4wkpwbv0jnx8r4wgl7zmxzbv58m6pn0zi9yg2mq9i3q6hm";
    downloadToTemp = true;
    recursiveHash = true;
    postFetch = ''
  
negative.code:     { if (/<Digest>/) {print $3;} }
      ' $downloadedFile | tee hash
      [ -n "$(cat hash)" ]
  
      awk '
      BEGIN { FS = "[<>]"; }
      { if (/<DigestType>/) {print $3;} }
      ' $downloadedFile | tee hash-type
      [ -n "$(cat hash-type)" ]
  
      echo -n "Root Key Id (root-anchors.xml): "
      awk '
  