VERSIONS.md

Version	Last Commit Hash	Link
Devnet 0	4b750f2748a3718fe3e1e9cdb3c65e3a7ddabff5	https://github.com/leanEthereum/leanSpec/tree/4b750f2748a3718fe3e1e9cdb3c65e3a7ddabff5