1 2 3 4 5
{ rev = "2c2a0473f4ea8b933c73e912034aba9212ba0686"; sha256 = "0lskfmxlfx3lxv9qx4sjgr6qgv605pppykmkpd769chd7kcxvnx9"; revdate = "2018-11-23T18:31:40Z"; }