{"name":"taco-model-checker","vers":"0.1.0-alpha.1","deps":[{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-bdd","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-display-utils","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-smt-encoder","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-threshold-automaton","req":"^0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"fffb94c2455868f90b9bf2fa4b80663af78bb290848ca00d7b2aecdbded63861","features":{},"features2":{"config_deserialize":["dep:serde"]},"yanked":true,"pubtime":"2026-01-19T15:06:59Z","v":2}
{"name":"taco-model-checker","vers":"0.1.0-alpha.2","deps":[{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-bdd","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-display-utils","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-smt-encoder","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-threshold-automaton","req":"^0.1.0-alpha.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"2c2f61dd3a512f8765150675d4c120c762ee39b26cb3cbd41b2770e693614698","features":{},"features2":{"config_deserialize":["dep:serde"]},"yanked":true,"pubtime":"2026-01-20T07:37:05Z","v":2}
{"name":"taco-model-checker","vers":"0.1.0-alpha.3","deps":[{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-bdd","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-display-utils","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-smt-encoder","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-threshold-automaton","req":"^0.1.0-alpha.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"8eb335d228cc5d9214306e59637becbb60e98d7a7b7cb899ff45a688378f498c","features":{},"features2":{"config_deserialize":["dep:serde"]},"yanked":true,"pubtime":"2026-01-20T07:56:41Z","v":2}
{"name":"taco-model-checker","vers":"0.1.0","deps":[{"name":"lazy_static","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.28","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-bdd","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-display-utils","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-smt-encoder","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"taco-threshold-automaton","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"walkdir","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"3df6da71e1e1cf4c0a68703c5ffa895fe3d2f5c31f0e9c9d4d79864489ac51b0","features":{},"features2":{"config_deserialize":["dep:serde"]},"yanked":false,"pubtime":"2026-01-20T09:29:43Z","v":2}