opentheory 1.197 → 1.198

raw patch · 1 files changed

+2/−2 lines, 1 files

Files

opentheory.cabal +2/−2

opentheory.cabal view

@@ -1,5 +1,5 @@ name: opentheory-version: 1.197+version: 1.198 category: Formal Methods synopsis: The standard theory library license: MIT@@ -10,7 +10,7 @@ maintainer: Joe Leslie-Hurd <joe@gilith.com> description:   The standard theory library - this package was automatically generated-  from the OpenTheory package base-1.197+  from the OpenTheory package base-1.198  library   build-depends: