1 2 3 4 5
{ rev = "bc82b841e0d9667b266378818b9e026308756f75"; sha256 = "177lywv2kxq9kbpkr225hxllnabb8pp13ihdvsxb1i0wjcl1ingr"; revdate = "2018-12-27T17:16:33Z"; }