{"name":"cvlr-vectors","vers":"0.4.0","deps":[{"name":"borsh0_10","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"borsh"},{"name":"borsh0_9","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"borsh"},{"name":"cvlr-asserts","req":">=0.4.0, <1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cvlr-nondet","req":">=0.4.0, <1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a1c62056f58421ee38c80a67ab8b92e789fe7584c48c6efabd3e6a4633be795c","features":{"certora-debug":[]},"yanked":false,"pubtime":"2025-04-10T22:23:30Z"}