opentheory 1.198 → 1.199

raw patch · 1 files changed

+5/−4 lines, 1 filesdep ~opentheory-primitive

Dependency ranges changed: opentheory-primitive

Files

• opentheory.cabal +5/−4

@@ -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 <joe@gilith.com> maintainer: Joe Leslie-Hurd <joe@gilith.com>+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