Update Cargo.toml#313

varungandhi-src merged 3 commits intosourcegraph:mainsourcegraph/scip:mainfrom

BenjaminBrienen:patch-1BenjaminBrienen/scip:patch-1Copy head branch name to clipboard