Changing RC to RC2

DeepSec-prover · Jan 14, 2020 · b6afe9a · b6afe9a
1 parent 9fa9977
commit b6afe9a
Show file tree

Hide file tree

Showing 2 changed files with 104 additions and 24 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,11 +1,11 @@
 {
   "name": "deepsec_ui",
   "productName": "DeepSec UI",
-  "version": "1.0.0-rc",
+  "version": "1.0.0-rc2",
   "description": "User interface for DeepSec tool (DEciding Equivalence Properties in SECurity protocols)",
   "author": {
     "name": "Vincent CHEVAL",
-    "email": "vincent.cheval@loria.fr",
+    "email": "vincent.cheval@inria.fr",
     "url": "https://members.loria.fr/VCheval/"
   },
   "contributors": [