git.iko.soy/Idris-dev
on master help sign in
data-lens is not a dep of idris

lens is, but that isn't available in the binary repos of the old version of Ubuntu Travis-CI runs.

commit9b13bd4b37cec014df1eb9c139f7be108a0b9ddf authorLeif Warner <abimelech@gmail.com> dateMon 23 Jun 2014, 21:22 (12 years ago) parentd581842
1 file changed+1−1
compare with master
unifiedsplit
.travis.yml+1−1
.travis.yml+1−1
@@ -5,7 +5,7 @@ before_install:
55 - sudo apt-get install -qq libgc-dev llvm-3.3
66 - sudo apt-get install -qq libghc-unordered-containers-dev libghc-mtl-dev libghc-network-dev libghc-xml-dev libghc-transformers-dev libghc-text-dev libghc-utf8-string-dev libghc-vector-dev libghc-split-dev libghc-ansi-terminal-dev libghc-ansi-wl-pprint-dev
77 # trifecta dependencies
8− - sudo apt-get install -qq libghc-blaze-builder-dev libghc-blaze-html-dev libghc-data-lens-dev libghc-bifunctors-dev libghc-hashable-dev libghc-semigroups-dev libghc-semigroupoids-dev libghc-parallel-dev libghc-comonad-dev libghc-terminfo-dev libghc-keys-dev
8+ - sudo apt-get install -qq libghc-blaze-builder-dev libghc-blaze-html-dev libghc-bifunctors-dev libghc-hashable-dev libghc-semigroups-dev libghc-semigroupoids-dev libghc-parallel-dev libghc-comonad-dev libghc-terminfo-dev libghc-keys-dev
99 # Haddock dependencies
1010 - sudo apt-get install hscolour
1111 # test dependency