{
  rev = "03de59d30733a4228208ab4ce7613ced0e02c9b9";
  sha256 = "0php73mk49bmv22w4k8csbwdpfkfjzji4i76jlpvvslijd16cwzm";
  revdate = "2019-09-09T15:10:43Z";
}