@@ -44,7 +44,7 @@ Cabal-Version: >= 1.18
45Build-type: Custom
45Build-type: Custom
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
49Data-files: idrisdoc/styles.css
49Data-files: idrisdoc/styles.css
50 jsrts/jsbn/jsbn-browser.js
50 jsrts/jsbn/jsbn-browser.js
@@ -259,7 +259,7 @@ Library
259 , Tools_idris
259 , Tools_idris
261 Build-depends: base >=4 && <5
261 Build-depends: base >=4 && <5
262− , aeson >= 0.6 && < 1.2
262+ , aeson >= 0.6 && < 1.3
263 , annotated-wl-pprint >= 0.7 && < 0.8
263 , annotated-wl-pprint >= 0.7 && < 0.8
264 , ansi-terminal < 0.7
264 , ansi-terminal < 0.7
265 , ansi-wl-pprint < 0.7
265 , ansi-wl-pprint < 0.7
@@ -277,20 +277,22 @@ Library
277 , filepath < 1.5
277 , filepath < 1.5
278 , fingertree >= 0.1 && < 0.2
278 , fingertree >= 0.1 && < 0.2
279 , haskeline >= 0.7 && < 0.8
279 , haskeline >= 0.7 && < 0.8
280− , ieee754 >= 0.7 && <= 0.8.0
280+ , ieee754 >= 0.7 && < 0.9
281 , mtl >= 2.1 && < 2.3
281 , mtl >= 2.1 && < 2.3
282 , network < 2.7
282 , network < 2.7
283− , optparse-applicative >= 0.13 && < 0.14
283+ , optparse-applicative >= 0.13 && < 0.15
284 , parsers >= 0.9 && < 0.13
284 , parsers >= 0.9 && < 0.13
285 , pretty < 1.2
285 , pretty < 1.2
286 , regex-tdfa >= 1.2
287 , regex-tdfa >= 1.2
287 , split < 0.3
289 , split < 0.3
288 , terminal-size < 0.4
290 , terminal-size < 0.4
289 , text >=1.2.1.0 && < 1.3
291 , text >=1.2.1.0 && < 1.3
290− , time >= 1.4 && < 1.7
292+ , time >= 1.4 && < 1.9
291 , transformers < 0.6
293 , transformers < 0.6
292 , transformers-compat >= 0.3
294 , transformers-compat >= 0.3
293− , trifecta >= 1.6 && < 1.7
295+ , trifecta >= 1.6 && < 1.8
294 , uniplate >=1.6 && < 1.7
296 , uniplate >=1.6 && < 1.7
295 , unordered-containers < 0.3
297 , unordered-containers < 0.3
296 , utf8-string < 1.1
298 , utf8-string < 1.1
@@ -300,28 +302,6 @@ Library
300 , fsnotify >= 0.2 && < 2.2
302 , fsnotify >= 0.2 && < 2.2
301 , async < 2.2
303 , async < 2.2
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
310− build-depends: process < 1.5
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
318− build-depends: safe >= 0.3.9
320− if impl(ghc < 7.8.4)
321− build-depends: tagsoup < 0.14.1
323− Default-Language: Haskell2010
325 ghc-prof-options: -auto-all -caf-all
305 ghc-prof-options: -auto-all -caf-all
327 if os(linux)
307 if os(linux)