{
  rev = "b3d0da3eb6d1e25b48289e70e88934e5f9758984";
  sha256 = "05yb7h2awjvz8vjzb05r060hyp1s3770df9px8b444qwpcn9nw6x";
}