diff --git a/lockfile.json b/lockfile.json
index 52689f8a5..8f64bbd30 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -12,7 +12,7 @@
     "revision": "a1f66bf72ed68b87f779bce9a52e5c6521fc867e"
   },
   "awk": {
-    "revision": "b8e81f62109e65adca1ab51ab9d414411db5a37f"
+    "revision": "8eaa762d05cc67c0e2cc53a0a71750b3c16733c2"
   },
   "bash": {
     "revision": "b338fa9f4807b9e0336cd4dde04948a8c324a4cf"
@@ -477,7 +477,7 @@
     "revision": "d4deb1bd9e848f2dbe81103a151d99e8546de480"
   },
   "tiger": {
-    "revision": "a233ebe360a73a92c50978e5c4e9e471bc59ff42"
+    "revision": "4a099243ed68a4fc72fdad8ea3ce57ec411ebfe3"
   },
   "tlaplus": {
     "revision": "7ba226cf85280c7917d082940022006e6a3b7b6f"