1 2 3 4 5
{ rev = "17c9a0e84f066f6ad1e7d93be0edf8e7bf3a59b7"; sha256 = "06zl8j536nd82fnjbgs4dnlg1cxg4jhdppi07753zmyr74pzd687"; revdate = "2019-07-26T15:13:27Z"; }