git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4633 from tuncer/patch-1
120e37dJan de Muijnck-Hughes
stack.yaml+5−2
compare with master
unifiedsplit
@@ -1,13 +1,16 @@
1#recheck extra-deps next on resolver or cabal file change
1#recheck extra-deps next on resolver or cabal file change
2−resolver: lts-12.21
2+resolver: lts-13.0
3
3
4packages:
4packages:
5 - location: .
5 - location: .
6
6
7extra-deps:
7extra-deps:
8+ - network-2.8.0.0@sha256:aae171e6c6028a7791dbe4de5b9d2da398056359e3cc7927465ffa3cdae1aa0b
9+ - Cabal-2.2.0.1@sha256:2a80d8fb655474f0eaeb20434c47f64f84e6302e55973056f00df8ca050b9683
8 - megaparsec-7.0.4
10 - megaparsec-7.0.4
9 - parser-combinators-1.0.0
11 - parser-combinators-1.0.0
10−
12+ - zip-archive-0.3.3@sha256:47cf2d66cc8e237f7226837758e1b041e24048ef3820d3d10276c500edb921bf
13+ - containers-0.5.11.0@sha256:28ad7337057442f75bc689315ab4ec7bdf5e6b2c39668f306672cecd82c02798
11
14
12flags:
15flags:
13 idris:
16 idris: