git.iko.soy/Idris-dev
on master help sign in
An attempt to use proper Cabal version.
commit5e74cd73c9156da93990f2872f59d4a20bab6c28 authorDenis Buzdalov <public@buzden.ru> dateTue 19 Nov 2019, 17:26 (7 years ago) parent59f26a9
2 files changed+2−4
compare with master
unifiedsplit
.travis.yml+2−2 stack.yaml−2
.travis.yml+2−2
@@ -9,8 +9,8 @@ env:
99
1010matrix:
1111 include:
12− - env: CABALVER="2.2" GHCVER="8.6.5" STACKVER="14.15" STYLISH=YES
13− addons: {apt: {packages: [cabal-install-2.2,ghc-8.6.5,hscolour], sources: [hvr-ghc]}}
12+ - env: CABALVER="2.4" GHCVER="8.6.5" STACKVER="14.15" STYLISH=YES
13+ addons: {apt: {packages: [cabal-install-2.4,ghc-8.6.5,hscolour], sources: [hvr-ghc]}}
1414 - env: CABALVER="2.2" GHCVER="7.10.3" TESTS="test_c"
1515 compiler: ": #GHC 7.10.3"
1616 addons: {apt: {packages: [cabal-install-2.2,ghc-7.10.3,cppcheck,hscolour], sources: [hvr-ghc]}}
stack.yaml−2
@@ -3,7 +3,6 @@ resolver: lts-13.21
33
44extra-deps:
55 - network-2.8.0.0@sha256:aae171e6c6028a7791dbe4de5b9d2da398056359e3cc7927465ffa3cdae1aa0b
6− - Cabal-2.2.0.1@sha256:2a80d8fb655474f0eaeb20434c47f64f84e6302e55973056f00df8ca050b9683
76 - megaparsec-7.0.4
87 - parser-combinators-1.0.0
98 - zip-archive-0.3.3@sha256:47cf2d66cc8e237f7226837758e1b041e24048ef3820d3d10276c500edb921bf
@@ -11,7 +10,6 @@ extra-deps:
1110 - tasty-rerun-1.1.14@sha256:ba9c19a281535bea566e1044bc02c36ef17abcb310af4b6a149ec11780c7ce35
1211 - binary-0.8.7.0@sha256:ae3e6cca723ac55c54bbb3fa771bcf18142bc727afd57818e66d6ee6c8044f12
1312 - text-1.2.4.0@sha256:8c24450feb8e3bbb7ea3e17af24ef57e85db077c4bf53e5bcc345b283d1b1d5b
14− - Cabal-3.0.0.0@sha256:1ba37b8d80e89213b17db7b8b9ea0108da55ca65f8c0cbb7433881a284c5cf67
1513
1614flags:
1715 idris: