stack.yaml

resolver: lts-13.17

packages:
- .

# for unix:
# extra-deps:
# - idris-1.3.1@sha256:8586191c8722199c608b86a44cbf6571875fd425a0041e798ecc100d2e9537fc
# - Cabal-2.2.0.1@sha256:2a80d8fb655474f0eaeb20434c47f64f84e6302e55973056f00df8ca050b9683
# - aeson-1.3.1.1@sha256:1ab29743b4c4c9be7df57200ed2c8779048adda4cead075944b7b471e93ed4c3
# - code-page-0.1.3@sha256:9e13dee5c6d23e570f72cb376e7996ffcd9728c4a6daa60f05f2f2c204296eec
# - containers-0.5.11.0@sha256:28ad7337057442f75bc689315ab4ec7bdf5e6b2c39668f306672cecd82c02798
# - megaparsec-6.5.0@sha256:a1dfed92863607ea9f7609a0578d486761a052a4d01aaff95b90f25da2564346
# - network-2.7.0.2@sha256:7cb8d7bc2080be946cf87890c807b12dae9c59314fa030b2687999100ce60512
# - zip-archive-0.3.3@sha256:53f871653059f87285f434319598f380d986cd7fd9219de555dcafc496121a7c

# for windows
extra-deps: 
- idris-1.3.2@sha256:4d503ff5d51131c18b677aa75776d69c031f9a6391ae531dd0623dbf9db01556,13508
- directory-1.3.6.0@sha256:d3d89c752f99e78f3e1d11c74696d2ba78b199f47c89e92934003deb84cb3ff9,2810
- process-1.6.7.0@sha256:305bcf44c42a96425e77af1748183f505a701648f68cc299d5ad8ac1b866a6a1,2468
- time-1.8.0.4@sha256:3f6eddf238b828eb4f82683acce1c3afe64784f0d20114239b738c123316c85c,5494
- Win32-2.6.2.0@sha256:515518df0728294c99822c65b04be10a242933f40240b125c23469f45c8b11da,4227