diff --git a/coq/Version.v b/coq/Version.v
index db2b996db..8805301e5 100644
--- a/coq/Version.v
+++ b/coq/Version.v
@@ -20,7 +20,7 @@ Require Import String.
 
 Section Version.
   (** Variables are defined as strings *)
-  Definition qcert_version := "1.3.0"%string.
+  Definition qcert_version := "1.4.0"%string.
 
 End Version.
 
diff --git a/npm/package.json b/npm/package.json
index b3c763087..e27a67f43 100644
--- a/npm/package.json
+++ b/npm/package.json
@@ -1,6 +1,6 @@
 {
 	"name": "qcert",
-	"version": "1.3.0",
+	"version": "1.4.0",
 	"description": "The Q*cert compiler",
 	"repository": {
 		"type": "git",