diff options
Diffstat (limited to 'stack.yaml')
-rw-r--r-- | stack.yaml | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -5,7 +5,11 @@ packages: | |||
5 | git: https://github.com/pngwjpgh/composition-tree | 5 | git: https://github.com/pngwjpgh/composition-tree |
6 | commit: c9c1c11f6820bbbe1ac96513a66609599483bdb6 | 6 | commit: c9c1c11f6820bbbe1ac96513a66609599483bdb6 |
7 | extra-dep: true | 7 | extra-dep: true |
8 | - interactive-edit-lens | ||
8 | nix: | 9 | nix: |
9 | packages: [] | 10 | packages: [] |
10 | pure: false | 11 | pure: false |
11 | shell-file: ./stack.nix | 12 | shell-file: ./stack.nix |
13 | build: | ||
14 | library-profiling: true | ||
15 | executable-profiling: true | ||