diff --git a/lockfile.json b/lockfile.json
index b03afb585..20e7c6885 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -1,6 +1,6 @@
 {
   "ada": {
-    "revision": "0210164cce71a6b6010ab24fb4fe77693469db14"
+    "revision": "e9e2ec9d3b6302e9b455901bec00036e29d1c121"
   },
   "agda": {
     "revision": "80ea622cf952a0059e168e5c92a798b2f1925652"
@@ -30,7 +30,7 @@
     "revision": "7175a6dd5fc1cee660dce6fe23f6043d75af424a"
   },
   "c_sharp": {
-    "revision": "44630a63192399da9e17f9105e0fa53412d78961"
+    "revision": "0588adfffbec65dfb2bd845c84d35127932d930b"
   },
   "clojure": {
     "revision": "8c23e0ec078af461ccad43fffbbfc204aa6bc238"