{"name":"smc_scan","vers":"0.1.0","deps":[{"name":"anyhow","req":"^1.0.102","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.6.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-verbosity-flag","req":"^3.0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"human-panic","req":"^2.0.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indicatif","req":"^0.18.4","features":["improved_unicode"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.149","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smc_scan_core","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smc_scan_jani","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smc_scan_promela","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smc_scan_scxml","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"af1a8ea562689bfffceaccfb1bcf8965579b5ac3ba348c76bcdafe58a829b26d","features":{},"yanked":false,"pubtime":"2026-04-12T22:45:57Z"}
{"name":"smc_scan","vers":"0.2.0","deps":[{"name":"anyhow","req":"^1.0.102","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.6.1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap-verbosity-flag","req":"^3.0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"human-panic","req":"^2.0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indicatif","req":"^0.18.4","features":["improved_unicode"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0.149","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smc_scan_core","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smc_scan_jani","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smc_scan_promela","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smc_scan_scxml","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"30f3985d7ed10482f98abfae345901197f712a0816cf2413b3cc8ed95ac7cefe","features":{},"yanked":false,"pubtime":"2026-04-22T18:13:13Z"}