git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4726 from 0nkery/master
fd5dfd9Niklas Larsson
stack.yaml+1
compare with master
unifiedsplit
@@ -11,6 +11,7 @@ extra-deps:
11 - parser-combinators-1.0.0
11 - parser-combinators-1.0.0
12 - zip-archive-0.3.3@sha256:47cf2d66cc8e237f7226837758e1b041e24048ef3820d3d10276c500edb921bf
12 - zip-archive-0.3.3@sha256:47cf2d66cc8e237f7226837758e1b041e24048ef3820d3d10276c500edb921bf
13 - containers-0.5.11.0@sha256:28ad7337057442f75bc689315ab4ec7bdf5e6b2c39668f306672cecd82c02798
13 - containers-0.5.11.0@sha256:28ad7337057442f75bc689315ab4ec7bdf5e6b2c39668f306672cecd82c02798
14+ - tasty-rerun-1.1.14@sha256:ba9c19a281535bea566e1044bc02c36ef17abcb310af4b6a149ec11780c7ce35
14
15
15flags:
16flags:
16 idris:
17 idris: