[workspace] members = [ "cvode-5-sys", "cvode-wrap", "example" ]