idris-lang/Idris-dev
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris-dev.git synced 2024-10-04 01:50:20 +03:00
Code Issues Projects Releases Wiki Activity

Add a missing extra package.

Browse Source
This commit is contained in:
Matus Tejiscak 2019-07-07 23:17:49 +02:00
parent 140671a057
commit a70b24dcca
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
stack.yaml
View File

@ -9,6 +9,7 @@ extra-deps:
- zip-archive-0.3.3@sha256:47cf2d66cc8e237f7226837758e1b041e24048ef3820d3d10276c500edb921bf
- containers-0.5.11.0@sha256:28ad7337057442f75bc689315ab4ec7bdf5e6b2c39668f306672cecd82c02798
- tasty-rerun-1.1.14@sha256:ba9c19a281535bea566e1044bc02c36ef17abcb310af4b6a149ec11780c7ce35
- binary-0.8.7.0@sha256:ae3e6cca723ac55c54bbb3fa771bcf18142bc727afd57818e66d6ee6c8044f12
flags:
idris: