diff --git a/VERSION b/VERSION
index dcc9821..da32db7 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-VERSION = 1.4.1
+VERSION = 1.4.2
diff --git a/autodist b/autodist
index 6592ff9..3b1229d 100755
--- a/autodist
+++ b/autodist
@@ -5,7 +5,7 @@
 #
 # Released under the terms of the GNU GPL release 3 license
 #
-VERSION=1.4.1
+VERSION=1.4.2
 me=(${0##*/} $VERSION "Tue Jan 26 2016")
 exec 3>`readlink /proc/self/fd/0`
 
diff --git a/autoport b/autoport
index 406041e..b37370f 100755
--- a/autoport
+++ b/autoport
@@ -4,7 +4,7 @@
 #
 # Released under the terms of the GNU GPL release 3 license
 #
-VERSION=1.4.1
+VERSION=1.4.2
 
 BASE_REPOSITORY=base
 PORT_REPOSITORY=base