diff --git a/VERSIONS.md b/VERSIONS.md
index 14ea8a36..822c8598 100644
--- a/VERSIONS.md
+++ b/VERSIONS.md
@@ -3,4 +3,4 @@
 | Devnet 0 | 4b750f2748a3718fe3e1e9cdb3c65e3a7ddabff5 | https://github.com/leanEthereum/leanSpec/tree/4b750f2748a3718fe3e1e9cdb3c65e3a7ddabff5 |
 | Devnet 1 | 050fa4a18881d54d7dc07601fe59e34eb20b9630 | https://github.com/leanEthereum/leanSpec/tree/050fa4a18881d54d7dc07601fe59e34eb20b9630 |
 | Devnet 2 | 4edcf7bc9271e6a70ded8aff17710d68beac4266 | https://github.com/leanEthereum/leanSpec/tree/4edcf7bc9271e6a70ded8aff17710d68beac4266 |
-| Devnet 3 | 3a34e7fae5ed8cd13acc5881207aee4fb1508cc1 | https://github.com/leanEthereum/leanSpec/tree/3a34e7fae5ed8cd13acc5881207aee4fb1508cc1 |
+| Devnet 3 | 8b7636bb8a95fe4bec414cc4c24e74079e6256b6 | https://github.com/leanEthereum/leanSpec/tree/8b7636bb8a95fe4bec414cc4c24e74079e6256b6 |