Add a missing extra package.
commita70b24dccacc217eac4148114348afcb40bab8f6
authorMatus Tejiscak <ziman@functor.sk>
dateSun 7 Jul 2019, 23:17 (7 years ago)
parent140671a
stack.yaml+1
@@ -9,6 +9,7 @@ extra-deps:
99 - zip-archive-0.3.3@sha256:47cf2d66cc8e237f7226837758e1b041e24048ef3820d3d10276c500edb921bf
1010 - containers-0.5.11.0@sha256:28ad7337057442f75bc689315ab4ec7bdf5e6b2c39668f306672cecd82c02798
1111 - tasty-rerun-1.1.14@sha256:ba9c19a281535bea566e1044bc02c36ef17abcb310af4b6a149ec11780c7ce35
12+ - binary-0.8.7.0@sha256:ae3e6cca723ac55c54bbb3fa771bcf18142bc727afd57818e66d6ee6c8044f12
1213
1314flags:
1415 idris: