{
  rev = "c0bf8b4b5d846a9b41bf25670d7af1265222adcd";
  sha256 = "05l88lw4achfbndvnh2a2pb3haj4ciis858a9kv8aigh1xfzg3fl";
  revdate = "2019-10-12T19:51:59Z";
}