Merge pull request #3681 from jfdm/fix-tagsoup
Relax dependency on Tagsoup.
commitdf7cb1a575097f8f16481236013589b449cd95ce
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateTue 7 Mar 2017, 21:06 (10 years ago)
parent16e2f2844706ae
idris.cabal−2
@@ -312,8 +312,6 @@ Library
312312
313313 if impl(ghc < 7.8.4)
314314 build-depends: tagsoup < 0.14.1
315− else
316− build-depends: tagsoup >= 0.14.1
317315
318316 Extensions: MultiParamTypeClasses
319317 , DeriveFoldable