on master help sign in
Merge pull request #3681 from jfdm/fix-tagsoup
df7cb1aJan de Muijnck-Hughes
idris.cabal−2
@@ -312,8 +312,6 @@ Library
312
312
313 if impl(ghc < 7.8.4)
313 if impl(ghc < 7.8.4)
314 build-depends: tagsoup < 0.14.1
314 build-depends: tagsoup < 0.14.1
315− else
316− build-depends: tagsoup >= 0.14.1
317
315
318 Extensions: MultiParamTypeClasses
316 Extensions: MultiParamTypeClasses
319 , DeriveFoldable
317 , DeriveFoldable