Update dependencies per cargo-outdated#3982

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

carolynzech:update-dependenciescarolynzech/kani:update-dependenciesCopy head branch name to clipboard