{"name":"vstd","vers":"0.0.0","deps":[],"cksum":"5e8f3c6700b9149a0af6600ce646230b47cef2936c56b1103771e3073b5cb8e8","features":{},"yanked":true,"pubtime":"2024-06-26T15:40:00Z"}
{"name":"vstd","vers":"0.0.0-2025-08-12-1837","deps":[{"name":"verus_builtin","req":"=0.0.0-2025-08-12-1837","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2025-08-12-1837","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2025-08-12-1837","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9b5f531340ad04fc039853c28cfe984b7baa3982aba0d37dfac01406e4d9f10f","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2025-08-22T21:07:52Z"}
{"name":"vstd","vers":"0.0.0-2025-11-05-1950","deps":[{"name":"verus_builtin","req":"=0.0.0-2025-08-12-1837","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2025-11-05-1950","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2025-11-05-1950","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0585d8aa1adfac14d0273b8db0ae8b5f76b1d19057c31d18ab68b687a2cf2d2d","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2025-11-05T20:14:13Z"}
{"name":"vstd","vers":"0.0.0-2025-11-09-0048","deps":[{"name":"verus_builtin","req":"=0.0.0-2025-08-12-1837","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2025-11-09-0048","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2025-11-09-0048","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6a63cc2fde782795e3edac53bb2ff3ff00fa8022099c452f6ea729b66293d139","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2025-11-09T02:31:42Z"}
{"name":"vstd","vers":"0.0.0-2025-11-10-1957","deps":[{"name":"verus_builtin","req":"=0.0.0-2025-08-12-1837","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2025-11-10-1957","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2025-11-10-1957","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b87ed07fe544ae797b79f84de2c856ca0d20d767b3d97eac1d9999909a1f4ee9","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2025-11-12T18:14:25Z"}
{"name":"vstd","vers":"0.0.0-2025-11-16-0050","deps":[{"name":"verus_builtin","req":"=0.0.0-2025-08-12-1837","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2025-11-16-0050","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2025-11-16-0050","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"78daf1e3f8fde46c7ccbdd80d1d95875d8be3fe9b02f5f827d798cbecad47893","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2025-11-16T00:51:47Z"}
{"name":"vstd","vers":"0.0.0-2025-11-24-2240","deps":[{"name":"verus_builtin","req":"=0.0.0-2025-08-12-1837","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2025-11-24-2240","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2025-11-23-0053","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2014cfb31f9dec56e9ce777c4d931b9f45c49b9f9a54de9aedfdf7bb83421490","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2025-11-24T22:41:12Z"}
{"name":"vstd","vers":"0.0.0-2025-11-30-0053","deps":[{"name":"verus_builtin","req":"=0.0.0-2025-08-12-1837","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2025-11-30-0053","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2025-11-23-0053","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2c06dc912e9b59534d8f9e6b5dfb091923cd5514688cae32b30680cc00110533","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2025-11-30T00:54:16Z"}
{"name":"vstd","vers":"0.0.0-2025-12-07-0054","deps":[{"name":"verus_builtin","req":"=0.0.0-2025-12-07-0054","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2025-12-07-0054","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2025-11-23-0053","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b7c39bcb97ecc798037404389ad4410274629b57ea103f57ae32c38ac4c33539","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2025-12-07T00:54:41Z"}
{"name":"vstd","vers":"0.0.0-2025-12-14-0054","deps":[{"name":"verus_builtin","req":"=0.0.0-2025-12-14-0054","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2025-12-07-0054","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2025-11-23-0053","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5b979b18b9da3db02eaa2bf05bb3527528b068aa710ff49b909710b5b81705ab","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2025-12-14T00:54:35Z"}
{"name":"vstd","vers":"0.0.0-2025-12-28-0056","deps":[{"name":"verus_builtin","req":"=0.0.0-2025-12-28-0056","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2025-12-07-0054","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2025-11-23-0053","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"118845680c7f5f382bdbde17260d92b36583964c7ff7bfe033df41c974a1b474","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2025-12-28T00:56:47Z"}
{"name":"vstd","vers":"0.0.0-2026-01-04-0057","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-01-04-0057","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2025-12-07-0054","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2025-11-23-0053","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1dbb5c6b137259a21f6dbd1534a751e58e0501cce88db19bcaf5404ce3b34ece","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-01-04T00:57:22Z"}
{"name":"vstd","vers":"0.0.0-2026-01-11-0057","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-01-11-0057","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2025-12-07-0054","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2025-11-23-0053","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b0b453c2a947c506a7df4c71f875382a9dd476b74eec18883da7632521fb8537","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-01-11T00:57:21Z"}
{"name":"vstd","vers":"0.0.0-2026-01-25-0057","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-01-25-0057","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2026-01-25-0057","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2026-01-25-0057","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9e9e087457b5c8fc9ce5b046bd290437d6089818c4c635773524fd17d9c517b7","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-01-25T00:58:25Z"}
{"name":"vstd","vers":"0.0.0-2026-02-08-0120","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-02-08-0120","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2026-02-08-0120","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2026-02-08-0120","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"549f60c6935f18fd1ca38c99dcbc2f81a45759b3e24305973dc2c7b3470527d4","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-02-08T01:20:41Z"}
{"name":"vstd","vers":"0.0.0-2026-02-15-0106","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-02-08-0120","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2026-02-15-0106","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2026-02-15-0106","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"eb3fcbca609e31118953a52c90cc373a63c29081cf144361f56c15c59fa57b4c","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-02-15T01:07:25Z"}
{"name":"vstd","vers":"0.0.0-2026-02-22-0103","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-02-08-0120","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2026-02-22-0103","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2026-02-15-0106","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6b74abf6d04d21b8898894960d11dbe2489ab48be1f24eca92821b865616910c","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-02-22T01:03:59Z"}
{"name":"vstd","vers":"0.0.0-2026-02-24-1505","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-02-24-1505","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2026-02-24-1505","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2026-02-24-1505","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6f3e7a41b72644698e449d6c03eefb542b1c04659e067b61d62668adf43df8bc","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-02-24T15:06:35Z"}
{"name":"vstd","vers":"0.0.0-2026-03-01-0109","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-03-01-0109","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2026-03-01-0109","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2026-03-01-0109","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"acfd39a5498898d5f9acc93313abfa9938ff4d23006468518cd83e8f6bb063d7","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-03-01T01:09:44Z"}
{"name":"vstd","vers":"0.0.0-2026-03-08-0103","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-03-01-0109","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2026-03-08-0103","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2026-03-01-0109","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e19bb62988a03cc130a39566b58ece7677ecb26e70a05ca95bf06f7169ca6af5","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-03-08T01:03:39Z"}
{"name":"vstd","vers":"0.0.0-2026-03-15-0111","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-03-01-0109","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2026-03-15-0111","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2026-03-15-0111","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ea62a39c8a3a42f6d711e6769ea63d8f2f2715bacdb55271b0ae0f73efae3986","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-03-15T01:12:00Z"}
{"name":"vstd","vers":"0.0.0-2026-03-17-2326","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-03-17-2326","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2026-03-17-2326","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2026-03-15-0111","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"13bbf59dfaa6a7bcb327412c778a5d2b2c226dc65473a981ae6ec53a04c75aba","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-03-17T23:27:22Z"}
{"name":"vstd","vers":"0.0.0-2026-03-22-0106","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-03-22-0106","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2026-03-17-2326","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2026-03-15-0111","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ebf1e69cd4f6439a56b415ecdbfc3db69ad76560bd139683aeb29ed51452542f","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-03-22T01:06:45Z"}
{"name":"vstd","vers":"0.0.0-2026-03-29-0113","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-03-29-0113","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2026-03-29-0113","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2026-03-15-0111","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8f0473a3904009eaf2d7cda4342d0f5c27bca4b5849f9be7d109ff428fe6723e","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-03-29T01:14:06Z"}
{"name":"vstd","vers":"0.0.0-2026-04-05-0114","deps":[{"name":"verus_builtin","req":"=0.0.0-2026-04-05-0114","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_builtin_macros","req":"=0.0.0-2026-04-05-0114","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"verus_state_machines_macros","req":"=0.0.0-2026-04-05-0114","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"36a5688d683f325eac347069f18844bbdeff83f8c6e4be7614e60f76584e137d","features":{"alloc":[],"allocator":[],"allow_panic":[],"default":["std"],"std":["alloc"],"strict_provenance_atomic_ptr":[]},"yanked":false,"pubtime":"2026-04-05T01:15:28Z"}