1 2 3 4 5
{ rev = "5027b23dc2223a803086f9ae6caab4f2a829cc45"; sha256 = "1zy65yaffc4sz1gvwxdxbgvz1sxl9nhl0y2zib704p0bas422vq7"; revdate = "2019-06-17T13:01:29Z"; }