make version #s agree

plclub · May 27, 2020 · 2c4f591 · 2c4f591
1 parent adaf833
commit 2c4f591
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/CHANGELOG.txt b/CHANGELOG.txt
@@ -1,6 +1,6 @@
-0.0.1	
+0.3.0	
   initial release
 
-0.0.2
+0.3.1
   May 2020
   compiles with GHC 8.6.5
diff --git a/app/Main.hs b/app/Main.hs
@@ -21,7 +21,7 @@ import Parser           ( parseOttFile )
 {- | LNgen's version number. -}
 
 version :: String
-version = "0.3"
+version = "0.3.1"
 
 
 {- ----------------------------------------------------------------------- -}

diff --git a/lngen.cabal b/lngen.cabal
@@ -1,5 +1,5 @@
 name:                lngen
-version:             0.0.2
+version:             0.3.1
 synopsis:            Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott.
 description:         Check out <https://github.com/plclub/lngen#readme the readme> for documentation.
 homepage:            https://github.com/plclub/lngen