revm: add links for alloy and remove the dependencies file#706

clarus merged 1 commit intomainformal-land/coq-of-rust:mainfrom

guillaume-claret@add-alloy-linksformal-land/coq-of-rust:guillaume-claret@add-alloy-linksCopy head branch name to clipboard