diff --git a/opentheory.cabal b/opentheory.cabal --- a/opentheory.cabal +++ b/opentheory.cabal @@ -1,5 +1,5 @@ name: opentheory -version: 1.198 +version: 1.199 category: Formal Methods synopsis: The standard theory library license: MIT @@ -8,15 +8,16 @@ build-type: Simple author: Joe Leslie-Hurd maintainer: Joe Leslie-Hurd +homepage: http://opentheory.gilith.com/?pkg=base description: The standard theory library - this package was automatically generated - from the OpenTheory package base-1.198 + from the OpenTheory package base-1.199 library build-depends: base >= 4.0 && < 5.0, QuickCheck >= 2.4.0.1 && < 3.0, - opentheory-primitive >= 1.5 && < 2.0 + opentheory-primitive >= 1.6 && < 2.0 hs-source-dirs: src ghc-options: -Wall exposed-modules: @@ -28,7 +29,7 @@ build-depends: base >= 4.0 && < 5.0, QuickCheck >= 2.4.0.1 && < 3.0, - opentheory-primitive >= 1.5 && < 2.0 + opentheory-primitive >= 1.6 && < 2.0 hs-source-dirs: src ghc-options: -Wall main-is: Test.hs