chore(dep) Upgrade Concerto, bump version to 0.21.1

Signed-off-by: Jerome Simeon <[email protected]>
accordproject · Aug 6, 2020 · 42593f9 · 42593f9
1 parent d967124
commit 42593f9
Show file tree

Hide file tree

Showing 7 changed files with 40 additions and 40 deletions.
diff --git a/mechanization/Version.v b/mechanization/Version.v
@@ -17,7 +17,7 @@
 Require Import String.
 
 Section Version.
-    Definition ergo_version := "0.21.0"%string.
+    Definition ergo_version := "0.21.1"%string.
 
 End Version.
 
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -35,7 +35,7 @@
   ],
   "license": "Apache-2.0",
   "devDependencies": {
-    "@accordproject/concerto-core": "0.82.7",
+    "@accordproject/concerto-core": "0.82.8",
     "colors": "1.1.2",
     "coveralls": "3.0.1",
     "event-stream": "3.3.2",
@@ -162,4 +162,4 @@
     }
   },
   "dependencies": {}
-}
+}
diff --git a/packages/ergo-cli/extracted/ergoccore.js b/packages/ergo-cli/extracted/ergoccore.js