opentheory 1.196 → 1.197

raw patch · 2 files changed

+5/−5 lines, 2 filesdep ~opentheory-primitivesetup-changed

Dependency ranges changed: opentheory-primitive

Files

• Setup.hs +1/−1
• opentheory.cabal +4/−4

@@ -1,4 +1,4 @@-module Main(main)+module Main ( main ) where  import Distribution.Simple 

@@ -1,5 +1,5 @@ name: opentheory-version: 1.196+version: 1.197 category: Formal Methods synopsis: The standard theory library license: MIT@@ -10,13 +10,13 @@ maintainer: Joe Leslie-Hurd <joe@gilith.com> description:   The standard theory library - this package was automatically generated-  from the OpenTheory package base-1.196+  from the OpenTheory package base-1.197  library   build-depends:     base >= 4.0 && < 5.0,     QuickCheck >= 2.4.0.1 && < 3.0,-    opentheory-primitive >= 1.4 && < 2.0+    opentheory-primitive >= 1.5 && < 2.0   hs-source-dirs: src   ghc-options: -Wall   exposed-modules:@@ -28,7 +28,7 @@   build-depends:     base >= 4.0 && < 5.0,     QuickCheck >= 2.4.0.1 && < 3.0,-    opentheory-primitive >= 1.4 && < 2.0+    opentheory-primitive >= 1.5 && < 2.0   hs-source-dirs: src   ghc-options: -Wall   main-is: Test.hs