opentheory 1.199 → 1.200

raw patch · 1 files changed

+2/−2 lines, 1 files

Files

• opentheory.cabal +2/−2

@@ -1,5 +1,5 @@ name: opentheory-version: 1.199+version: 1.200 category: Formal Methods synopsis: The standard theory library license: MIT@@ -11,7 +11,7 @@ homepage: http://opentheory.gilith.com/?pkg=base description:   The standard theory library - this package was automatically generated-  from the OpenTheory package base-1.199+  from the OpenTheory package base-1.200  library   build-depends: