1 2 3 4 5
{ rev = "ef4a5b325127e0b6861f320ae18085c77e57a0bc"; sha256 = "1clr793amj3bnvh3ww1k46kkbqv8qh6y0zkkpa1661dj6lswc5cs"; revdate = "2019-06-27T14:59:27Z"; }