1 2 3 4 5
{ rev = "afa1cc82875489092b6e53eb4a2e26528d6bd659"; sha256 = "0biknq4av8z7vqvmwxnqg72bazcrv0yp0vpcgwdj20ssfanj7fav"; revdate = "2018-12-28T23:06:59Z"; }