From edbbf9d40867ea5a32a291bb71c6442f416c7faf Mon Sep 17 00:00:00 2001 From: Franco Bulgarelli Date: Mon, 16 Oct 2017 19:00:06 -0300 Subject: [PATCH] Welcome 3.2.0! --- app/Version.hs | 2 +- mulang.cabal | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/app/Version.hs b/app/Version.hs index fa2dc8ca9..e2f0919b2 100644 --- a/app/Version.hs +++ b/app/Version.hs @@ -6,7 +6,7 @@ prettyVersion :: String prettyVersion = "Mulang Release " ++ version ++ ", compiled on " ++ compilationTimestamp version :: String -version = "3.1.1" +version = "3.2.0" compilationTimestamp :: String compilationTimestamp = __DATE__ ++ " " ++ __TIME__ diff --git a/mulang.cabal b/mulang.cabal index e81b8600f..cb0413154 100644 --- a/mulang.cabal +++ b/mulang.cabal @@ -1,5 +1,5 @@ name: mulang -version: 3.1.1 +version: 3.2.0 synopsis: The Mu Language, a non-computable extended Lambda Calculus -- description: license: GPL