chore(1.4.0) New version tags

Signed-off-by: Jerome Simeon <[email protected]>
querycert · Sep 30, 2019 · 4095ca2 · 4095ca2
1 parent 0713494
commit 4095ca2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -1,6 +1,6 @@
 {
 	"name": "qcert",
-	"version": "1.3.0",
+	"version": "1.4.0",
 	"description": "The Q*cert compiler",
 	"repository": {
 		"type": "git",