1 2 3 4 5
{ rev = "47fb5e68a292bf49f3927e4b460df77305ba1fca"; sha256 = "1bbfjgvj6vqi5v49d595217swhgdf4yqc73wf72wr3kak5jm8q17"; revdate = "2019-07-28T07:05:30Z"; }