| Version | Last Commit Hash | Link |
|---|---|---|
| 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 | be853180d21aa36d6401b8c1541aa6fcaad5008d | https://github.com/leanEthereum/leanSpec/tree/be853180d21aa36d6401b8c1541aa6fcaad5008d |