opentheory-primitive 1.4 → 1.5

raw patch · 2 files changed

+2/−2 lines, 2 filessetup-changed

Files

• Setup.hs +1/−1
• opentheory-primitive.cabal +1/−1

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

@@ -1,5 +1,5 @@ name: opentheory-primitive-version: 1.4+version: 1.5 category: Formal Methods synopsis: Haskell primitives used by OpenTheory packages license: MIT