on master help sign in
Relax dependency on Tagsoup.
commit44706ae1b7fc694e98aa3dc39d70300e88efbd6b authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk> dateTue 7 Mar 2017, 17:08 (10 years ago) parent16e2f28
1 file changed−2
idris.cabal−2
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