@@ -44,7 +44,7 @@ Cabal-Version: >= 1.18
4444
4545Build-type: Custom
4646
47−Tested-With: GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1
47+Tested-With: GHC == 7.10.3, GHC == 8.0.1
4848
4949Data-files: idrisdoc/styles.css
5050 jsrts/jsbn/jsbn-browser.js
@@ -259,7 +259,7 @@ Library
259259 , Tools_idris
260260
261261 Build-depends: base >=4 && <5
262− , aeson >= 0.6 && < 1.2
262+ , aeson >= 0.6 && < 1.3
263263 , annotated-wl-pprint >= 0.7 && < 0.8
264264 , ansi-terminal < 0.7
265265 , ansi-wl-pprint < 0.7
@@ -277,20 +277,22 @@ Library
277277 , filepath < 1.5
278278 , fingertree >= 0.1 && < 0.2
279279 , haskeline >= 0.7 && < 0.8
280− , ieee754 >= 0.7 && <= 0.8.0
280+ , ieee754 >= 0.7 && < 0.9
281281 , mtl >= 2.1 && < 2.3
282282 , network < 2.7
283− , optparse-applicative >= 0.13 && < 0.14
283+ , optparse-applicative >= 0.13 && < 0.15
284284 , parsers >= 0.9 && < 0.13
285285 , pretty < 1.2
286+ , process < 1.7
286287 , regex-tdfa >= 1.2
288+ , safe >= 0.3.9
287289 , split < 0.3
288290 , terminal-size < 0.4
289291 , text >=1.2.1.0 && < 1.3
290− , time >= 1.4 && < 1.7
292+ , time >= 1.4 && < 1.9
291293 , transformers < 0.6
292294 , transformers-compat >= 0.3
293− , trifecta >= 1.6 && < 1.7
295+ , trifecta >= 1.6 && < 1.8
294296 , uniplate >=1.6 && < 1.7
295297 , unordered-containers < 0.3
296298 , utf8-string < 1.1
@@ -300,28 +302,6 @@ Library
300302 , fsnotify >= 0.2 && < 2.2
301303 , async < 2.2
302304
303−
304− -- zlib >= 0.6.1 is broken with GHC < 7.10.3
305− -- Travis is broken for 7.6 and 7.8 with a newer process
306− if impl(ghc < 7.10.3)
307− build-depends: zlib < 0.6.1
308− , process < 1.3
309− else
310− build-depends: process < 1.5
311−
312− -- safe 0.3.10 is having issues with cabal 1.20 and ghc 7.6.3, the
313− -- hvr ghc ppa doesn't provide a new enough cabal library. Temporary
314− -- fix until hvr ghc ppa is fixed or we deprecate support for 7.6.3.
315− if impl(ghc < 7.8.4)
316− build-depends: safe == 0.3.9
317− else
318− build-depends: safe >= 0.3.9
319−
320− if impl(ghc < 7.8.4)
321− build-depends: tagsoup < 0.14.1
322−
323− Default-Language: Haskell2010
324−
325305 ghc-prof-options: -auto-all -caf-all
326306
327307 if os(linux)