1 2 3 4 5
{ rev = "fb7261fbffac34bfce3387cb42e32d679d2b4e7b"; sha256 = "06v6slnnnqlpigkn265qjph4bz9mdsq0blx22wk9c2kaf4l5bjlh"; revdate = "2019-06-10T19:00:14Z"; }