{
  rev = "e19054ab3cd5b7cc9a01d0efc71c8fe310541065";
  sha256 = "0b92yhkj3pq58svyrx7jp0njhaykwr29079izqn6qs638v8zvhl2";
  revdate = "2019-09-09T01:18:55Z";
}