1 2 3 4 5
{ rev = "3273ee8b426e156e0834566c823cd36f8a1c8f25"; sha256 = "0k2hzl2j030kz6rdyk895c30kxs9m4cb4p4gmwixfync2rx8ixsp"; revdate = "2019-04-15T10:10:37Z"; }