{
  rev = "8441711990daadf0463b4ee697bd139e89779ef1";
  sha256 = "1x4lxk1rsg8ajg356k02xdmp47gjj7dbc3zhiqadgp07ykq7dzhh";
  revdate = "2019-08-16T05:57:17Z";
}