idris-1.3.3: stack.yaml

stack-15.12.yaml