chore(rel) Updates for 0.20.3

Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
accordproject · Nov 15, 2019 · 1643f23 · 1643f23
1 parent 9fa62cd
commit 1643f23
Show file tree

Hide file tree

Showing 7 changed files with 15 additions and 15 deletions.
diff --git a/mechanization/Version.v b/mechanization/Version.v
@@ -17,7 +17,7 @@
 Require Import String.
 
 Section Version.
-    Definition ergo_version := "0.20.2"%string.
+    Definition ergo_version := "0.20.3"%string.
 
 End Version.
 
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -162,4 +162,4 @@
     }
   },
   "dependencies": {}
-}
+}
diff --git a/packages/ergo-cli/extracted/ergoccore.js b/packages/ergo-cli/extracted/ergoccore.js
diff --git a/packages/ergo-cli/extracted/ergotopcore.js b/packages/ergo-cli/extracted/ergotopcore.js
diff --git a/packages/ergo-compiler/extracted/compilercore.js b/packages/ergo-compiler/extracted/compilercore.js
diff --git a/packages/ergo-compiler/package.json b/packages/ergo-compiler/package.json
@@ -27,8 +27,8 @@
   },
   "dependencies": {
     "@accordproject/concerto-core": "0.82.6",
-    "@accordproject/markdown-cicero": "0.8.1",
-    "@accordproject/markdown-common": "0.8.1",
+    "@accordproject/markdown-cicero": "0.8.2",
+    "@accordproject/markdown-common": "0.8.2",
     "acorn": "5.1.2",
     "debug": "4.1.0",
     "doctrine": "3.0.0",