diff --git a/src/aeso_aci.erl b/src/aeso_aci.erl
index 9c72e90..cf6dd54 100644
--- a/src/aeso_aci.erl
+++ b/src/aeso_aci.erl
@@ -8,7 +8,7 @@
 %%%-------------------------------------------------------------------
 
 -module(aeso_aci).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([ file/2
         , file/3
diff --git a/src/aeso_ast.erl b/src/aeso_ast.erl
index 4a77fa4..e758773 100644
--- a/src/aeso_ast.erl
+++ b/src/aeso_ast.erl
@@ -1,5 +1,5 @@
 -module(aeso_ast).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([int/2,
          line/1,
diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl
index d72698d..daa4a31 100644
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@@ -11,7 +11,7 @@
 %%% instances of the compiler to be run in parallel.
 
 -module(aeso_ast_infer_types).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([ infer/1
         , infer/2
diff --git a/src/aeso_ast_to_fcode.erl b/src/aeso_ast_to_fcode.erl
index c341054..e5c5244 100644
--- a/src/aeso_ast_to_fcode.erl
+++ b/src/aeso_ast_to_fcode.erl
@@ -8,7 +8,7 @@
 %%%
 %%%-------------------------------------------------------------------
 -module(aeso_ast_to_fcode).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([ast_to_fcode/2, format_fexpr/1]).
 -export_type([fcode/0, fexpr/0, fun_def/0]).
diff --git a/src/aeso_compiler.erl b/src/aeso_compiler.erl
index 8cf9af4..b79c713 100644
--- a/src/aeso_compiler.erl
+++ b/src/aeso_compiler.erl
@@ -7,7 +7,7 @@
 %%% Created : 12 Dec 2017
 %%%-------------------------------------------------------------------
 -module(aeso_compiler).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([ file/1
         , file/2
diff --git a/src/aeso_errors.erl b/src/aeso_errors.erl
index 55bb03a..25d23a3 100644
--- a/src/aeso_errors.erl
+++ b/src/aeso_errors.erl
@@ -6,7 +6,7 @@
 %%%-------------------------------------------------------------------
 
 -module(aeso_errors).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -type src_file()   :: no_file | iolist().
 
diff --git a/src/aeso_fcode_to_fate.erl b/src/aeso_fcode_to_fate.erl
index 966fc2e..512ca82 100644
--- a/src/aeso_fcode_to_fate.erl
+++ b/src/aeso_fcode_to_fate.erl
@@ -8,7 +8,7 @@
 %%%
 %%%-------------------------------------------------------------------
 -module(aeso_fcode_to_fate).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([compile/3, compile/4, term_to_fate/1, term_to_fate/2]).
 
diff --git a/src/aeso_parse_lib.erl b/src/aeso_parse_lib.erl
index b3b16a1..642db10 100644
--- a/src/aeso_parse_lib.erl
+++ b/src/aeso_parse_lib.erl
@@ -7,7 +7,7 @@
 %%% @end
 %%%-------------------------------------------------------------------
 -module(aeso_parse_lib).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([parse/2,
          return/1, fail/0, fail/1, fail/2, map/2, bind/2,
diff --git a/src/aeso_parser.erl b/src/aeso_parser.erl
index 939a10b..406bb9a 100644
--- a/src/aeso_parser.erl
+++ b/src/aeso_parser.erl
@@ -3,7 +3,7 @@
 %%% Description :
 %%% Created     : 1 Mar 2018 by Ulf Norell
 -module(aeso_parser).
--vsn("7.1.2").
+-vsn("8.0.1").
 -compile({no_auto_import,[map_get/2]}).
 
 -export([string/1,
diff --git a/src/aeso_pretty.erl b/src/aeso_pretty.erl
index 5b187df..8826462 100644
--- a/src/aeso_pretty.erl
+++ b/src/aeso_pretty.erl
@@ -6,7 +6,7 @@
 %%% @end
 %%%-------------------------------------------------------------------
 -module(aeso_pretty).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -import(prettypr, [text/1, sep/1, above/2, beside/2, nest/2, empty/0]).
 
diff --git a/src/aeso_scan.erl b/src/aeso_scan.erl
index 363b952..b474016 100644
--- a/src/aeso_scan.erl
+++ b/src/aeso_scan.erl
@@ -6,7 +6,7 @@
 %%% @end
 %%%-------------------------------------------------------------------
 -module(aeso_scan).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([scan/1, utf8_encode/1]).
 
diff --git a/src/aeso_scan_lib.erl b/src/aeso_scan_lib.erl
index d43baf6..9f709f2 100644
--- a/src/aeso_scan_lib.erl
+++ b/src/aeso_scan_lib.erl
@@ -5,7 +5,7 @@
 %%% @end
 %%%-------------------------------------------------------------------
 -module(aeso_scan_lib).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([compile/1, string/3,
          token/1, token/2, symbol/0, skip/0,
diff --git a/src/aeso_stdlib.erl b/src/aeso_stdlib.erl
index 18a5d0b..fad74f3 100644
--- a/src/aeso_stdlib.erl
+++ b/src/aeso_stdlib.erl
@@ -9,7 +9,7 @@
 %%%-------------------------------------------------------------------
 
 -module(aeso_stdlib).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([stdlib_include_path/0]).
 
diff --git a/src/aeso_syntax.erl b/src/aeso_syntax.erl
index 12da1cc..26e4382 100644
--- a/src/aeso_syntax.erl
+++ b/src/aeso_syntax.erl
@@ -7,7 +7,7 @@
 %%%-------------------------------------------------------------------
 
 -module(aeso_syntax).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([get_ann/1, get_ann/2, get_ann/3, set_ann/2, qualify/2]).
 
diff --git a/src/aeso_syntax_utils.erl b/src/aeso_syntax_utils.erl
index 43c2a4f..0874adf 100644
--- a/src/aeso_syntax_utils.erl
+++ b/src/aeso_syntax_utils.erl
@@ -5,7 +5,7 @@
 %%% @end
 %%%-------------------------------------------------------------------
 -module(aeso_syntax_utils).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([used_ids/1, used_ids/2, used_types/2, used/1]).
 
diff --git a/src/aeso_utils.erl b/src/aeso_utils.erl
index 77004a0..5526366 100644
--- a/src/aeso_utils.erl
+++ b/src/aeso_utils.erl
@@ -5,7 +5,7 @@
 %%% @end
 %%%-------------------------------------------------------------------
 -module(aeso_utils).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([scc/1, canonical_dir/1]).
 
diff --git a/src/aeso_vm_decode.erl b/src/aeso_vm_decode.erl
index b985b3b..abbe535 100644
--- a/src/aeso_vm_decode.erl
+++ b/src/aeso_vm_decode.erl
@@ -5,7 +5,7 @@
 %%%-------------------------------------------------------------------
 
 -module(aeso_vm_decode).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -export([ from_fate/2 ]).
 
diff --git a/src/aeso_warnings.erl b/src/aeso_warnings.erl
index c28d6fd..876a8d2 100644
--- a/src/aeso_warnings.erl
+++ b/src/aeso_warnings.erl
@@ -1,5 +1,5 @@
 -module(aeso_warnings).
--vsn("7.1.2").
+-vsn("8.0.1").
 
 -record(warn, { pos     :: aeso_errors:pos()
               , message :: iolist()
diff --git a/zomp.meta b/zomp.meta
index 9c8db90..8d979ac 100644
--- a/zomp.meta
+++ b/zomp.meta
@@ -1,20 +1,20 @@
-{a_email,[]}.
+{name,"AE Sophia Compiler"}.
+{type,lib}.
+{modules,[]}.
+{prefix,none}.
+{desc,"The Sophia contract language compiler for Aeternity."}.
 {author,"Aeternity Foundation"}.
-{c_email,[]}.
-{copyright,"Aeternity Foundation"}.
+{package_id,{"otpr","aesophia",{8,0,1}}}.
 {deps,[{"otpr","aebytecode",{3,2,1}},
        {"otpr","getopt",{1,0,2}},
        {"otpr","eblake2",{1,0,0}},
        {"otpr","zj",{1,1,0}}]}.
-{desc,"The Sophia contract language compiler for Aeternity."}.
-{file_exts,[]}.
 {key_name,none}.
+{a_email,[]}.
+{c_email,[]}.
+{copyright,"Aeternity Foundation"}.
+{file_exts,[]}.
 {license,skip}.
-{modules,[]}.
-{name,"AE Sophia Compiler"}.
-{package_id,{"otpr","aesophia",{7,1,2}}}.
-{prefix,none}.
 {repo_url,"https://github.com/aeternity/aesophia"}.
 {tags,["aeternity","blockchain","sophia","crypto","ae","compiler"]}.
-{type,lib}.
 {ws_url,[]}.