1 2 3 4 5
{ rev = "96e932d98da673fd8ff2dfb92b86db5a3ef71a27"; sha256 = "085diq6nndy1p120jh6pxxy47fzjfmn5f0ss4nq5jipyf52s6nxn"; revdate = "2019-05-29T16:40:36Z"; }