git.iko.soy/Idris-dev
on master help sign in
Fix Appveyor by pinning cabal
47d5336Niklas Larsson
appveyor.yml+1−1
compare with master
unifiedsplit
@@ -1,7 +1,7 @@
1version: 1.0.{build}
1version: 1.0.{build}
2init:
2init:
3- ps: >-
3- ps: >-
4− choco install cabal --no-progress
4+ choco install cabal --version=2.4.1.0 --no-progress
5
5
6 mkdir C:\ghc
6 mkdir C:\ghc
7
7