{
  rev = "fba248ed5ee3888b961e3272f7e29b9d9ecdb335";
  sha256 = "15lhmxy51yzczzrslk470asc87gnzny46yy6mc5cbrx9kdz5pk6b";
  revdate = "2019-09-19T16:47:24Z";
}