idris-0.9.19.1: stack.yaml

flags: {}
packages:
- '.'
extra-deps: 
- cheapskate-0.1.0.4
resolver: nightly-2015-07-24