1 2 3 4 5
{ rev = "22b42e85423e3dad19cea1876d39bf819d2b49d5"; sha256 = "15qiar2bgb8clxkqh286mkim64l10ma7gbx6m95k1gnznvq2gy9c"; revdate = "2019-04-13T08:58:12Z"; }