{"name":"smt-str","vers":"0.1.0","deps":[{"name":"bit-set","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"dot","req":"^0.1.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quickcheck","req":"^1.0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quickcheck_macros","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.9.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0761034368620c53b39959ea229cf6fc5acae76699caaf33bd4e1903cb3bc97e","features":{},"features2":{"automata":["dep:dot","dep:bit-set","dep:indexmap","regex"],"full":["automata","sampling","automata"],"regex":["dep:smallvec","dep:itertools"],"sampling":["dep:rand"]},"yanked":false,"pubtime":"2025-03-24T14:31:36Z","v":2}
{"name":"smt-str","vers":"0.1.1","deps":[{"name":"bit-set","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"dot","req":"^0.1.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quickcheck","req":"^1.0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quickcheck_macros","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.9.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fbd96911215aab774ba0e40a2dcfe065cfde67fd79d171f5e067818b2c48251c","features":{},"features2":{"automata":["dep:dot","dep:bit-set","dep:indexmap","regex"],"full":["automata","sampling","automata"],"regex":["dep:smallvec","dep:itertools"],"sampling":["dep:rand"]},"yanked":false,"pubtime":"2025-03-25T08:38:23Z","v":2}
{"name":"smt-str","vers":"0.2.0","deps":[{"name":"bit-set","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"dot","req":"^0.1.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quickcheck","req":"^1.0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quickcheck_macros","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.9.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"009300a686ac7b366a3abd0570446fa8ef9418986124c1c1a19e64a6cc36d3b1","features":{},"features2":{"automata":["dep:dot","dep:bit-set","dep:indexmap","regex"],"full":["automata","sampling","automata"],"regex":["dep:smallvec","dep:itertools"],"sampling":["dep:rand"]},"yanked":false,"pubtime":"2025-03-25T14:29:22Z","v":2}
{"name":"smt-str","vers":"0.2.1","deps":[{"name":"bit-set","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"dot","req":"^0.1.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quickcheck","req":"^1.0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quickcheck_macros","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.9.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7aca65be307172ac704f90f994de7b3f0301ace41cfa0068c8f4f7178338c4a1","features":{},"features2":{"automata":["dep:dot","dep:bit-set","dep:indexmap","regex"],"full":["automata","sampling","automata"],"regex":["dep:smallvec","dep:itertools"],"sampling":["dep:rand"]},"yanked":false,"pubtime":"2025-04-18T16:40:29Z","v":2}
{"name":"smt-str","vers":"0.2.2","deps":[{"name":"bit-set","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"dot","req":"^0.1.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quickcheck","req":"^1.0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quickcheck_macros","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.9.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"004e2008ce0991ca6890ada5dbea2728bb9c618a79f0c486f56d6098a74ca61b","features":{},"features2":{"automata":["dep:dot","dep:bit-set","dep:indexmap","regex"],"full":["automata","sampling","automata"],"regex":["dep:smallvec","dep:itertools"],"sampling":["dep:rand"]},"yanked":false,"pubtime":"2025-05-01T09:38:57Z","v":2}
{"name":"smt-str","vers":"0.2.3","deps":[{"name":"bit-set","req":"^0.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"dot","req":"^0.1.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quickcheck","req":"^1.0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quickcheck_macros","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.9.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"smallvec","req":"^1.14.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a67dc76073259d43c92f510f63620fa411e4d57ed05d32b76013aec36b254314","features":{},"features2":{"automata":["dep:dot","dep:bit-set","dep:indexmap","regex"],"full":["automata","sampling","automata"],"regex":["dep:smallvec","dep:itertools"],"sampling":["dep:rand"]},"yanked":false,"pubtime":"2025-05-03T10:04:33Z","v":2}