{"v":"#head@3f5d19118a763078521e5e8ce3c6eb0dca2c5465","r":["wave >= 1.1.0","futhark >= 0.13.1"]}