diff --git a/ChasingBottoms.cabal b/ChasingBottoms.cabal --- a/ChasingBottoms.cabal +++ b/ChasingBottoms.cabal @@ -1,5 +1,5 @@ name: ChasingBottoms -version: 1.3.0.1 +version: 1.3.0.2 license: OtherLicense license-file: LICENCE copyright: Copyright (c) Nils Anders Danielsson 2004-2011. @@ -94,16 +94,20 @@ Verification in the Presence of Partial and Infinite Values\" (). . - The code has been tested under GHC 7.0. Most parts can probably be - ported to other Haskell compilers, but that would require some work. - The @TimeOut@ functions require preemptive scheduling, and most of the - rest requires @Data.Generics@; @isBottom@ only requires exceptions, - though. + The code has been tested using GHC. Most parts can probably be + ported to other Haskell compilers, but this would require some work. + The @TimeOut@ functions require preemptive scheduling, and most of + the rest requires @Data.Generics@; @isBottom@ only requires + exceptions, though. category: Testing -tested-with: GHC == 7.0.1 -cabal-version: == 1.8.* +tested-with: GHC == 7.2.1 +cabal-version: >= 1.8 build-type: Simple +source-repository head + type: darcs + location: http://www.cse.chalmers.se/~nad/repos/ChasingBottoms/ + library exposed-modules: Test.ChasingBottoms, @@ -119,10 +123,10 @@ build-depends: QuickCheck >= 2.1 && < 2.5, mtl >= 1.1 && < 2.1, - base >= 4.0 && < 4.4, + base >= 4.0 && < 4.5, containers >= 0.3 && < 0.5, random == 1.0.*, - syb >= 0.1.0.2 && < 0.3 + syb >= 0.1.0.2 && < 0.4 flag build-tests description: Build the test suite. @@ -148,8 +152,8 @@ build-depends: QuickCheck >= 2.1 && < 2.5, mtl >= 1.1 && < 2.1, - base >= 4.0 && < 4.4, + base >= 4.0 && < 4.5, containers >= 0.3 && < 0.5, random == 1.0.*, - syb >= 0.1.0.2 && < 0.3, + syb >= 0.1.0.2 && < 0.4, array == 0.3.*