Bump idris to 0.9.13.1
Bump llvm-general-pure to 3.4.3.0
Bump llvm-general to 3.4.3.0
Bump vinyl to 0.4.2
Bump vinyl-gl to 0.2.0.2