{
  rev = "1b3affcbaa8e31af0bfe1be280f91ac3e384d96f";
  sha256 = "0b7spivfa1fd07ch4plakp3j16pq9rjsg2ird3kz2sg86cwhhkcv";
  revdate = "2019-01-22T23:52:12Z";
}