{"name":"mv-model","vers":"0.1.1","deps":[{"name":"anyhow","req":"^1.0.52","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan-reporting","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"datatest-stable","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"internment","req":"^0.5.0","features":["arc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-binary-format","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"mv-binary-format"},{"name":"move-bytecode-source-map","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"mv-bytecode-source-map"},{"name":"move-bytecode-verifier","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-command-line-common","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-compiler","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"mv-compiler"},{"name":"move-core-types","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"mv-core-types"},{"name":"move-disassembler","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"mv-disassembler"},{"name":"move-ir-types","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"mv-ir-types"},{"name":"move-prover-test-utils","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"move-symbol-pool","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.7.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.124","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6a58b17c0100455cd5e7d492d575736cda7f7fdfda56e418c6312d337d221845","features":{},"yanked":true,"pubtime":"2022-05-23T04:16:54Z"}
{"name":"mv-model","vers":"0.1.2","deps":[{"name":"anyhow","req":"^1.0.52","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan-reporting","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"datatest-stable","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"internment","req":"^0.5.0","features":["arc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-binary-format","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"mv-binary-format"},{"name":"move-bytecode-source-map","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"mv-bytecode-source-map"},{"name":"move-bytecode-verifier","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-command-line-common","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-compiler","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"mv-compiler"},{"name":"move-core-types","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"mv-core-types"},{"name":"move-disassembler","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"mv-disassembler"},{"name":"move-ir-types","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal","package":"mv-ir-types"},{"name":"move-prover-test-utils","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"move-symbol-pool","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.7.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.124","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"37a6c5327d5aa705cbd5c0be47e1811dd1cb69a83c81ff9a8443091cc9138bde","features":{},"yanked":true,"pubtime":"2022-05-23T19:05:08Z"}
{"name":"mv-model","vers":"0.1.4","deps":[{"name":"anyhow","req":"^1.0.52","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan-reporting","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"datatest-stable","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"internment","req":"^0.5.0","features":["arc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-bytecode-verifier","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-command-line-common","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-prover-test-utils","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"move-symbol-pool","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-binary-format","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-bytecode-source-map","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-compiler","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-core-types","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-disassembler","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-ir-types","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.7.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.124","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"003cfc2670113effee83e703fa8176c8339dfb761b419cd3e2c4508656fdf1b1","features":{},"yanked":true,"pubtime":"2022-05-23T20:37:52Z"}
{"name":"mv-model","vers":"0.1.5","deps":[{"name":"anyhow","req":"^1.0.52","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan-reporting","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"datatest-stable","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"internment","req":"^0.5.0","features":["arc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-bytecode-verifier","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-command-line-common","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-prover-test-utils","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"move-symbol-pool","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-binary-format","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-bytecode-source-map","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-compiler","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-core-types","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-disassembler","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-ir-types","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.7.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.124","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d1ca4d021fea9e561d8cdeeeaabb514c4e5efe291381821a9f4d636f34efcf71","features":{},"yanked":true,"pubtime":"2022-06-03T17:06:51Z"}
{"name":"mv-model","vers":"0.1.6","deps":[{"name":"anyhow","req":"^1.0.52","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan-reporting","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"datatest-stable","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"internment","req":"^0.5.0","features":["arc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-bytecode-verifier","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-command-line-common","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-prover-test-utils","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"move-symbol-pool","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-binary-format","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-bytecode-source-map","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-compiler","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-core-types","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-disassembler","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-ir-types","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.7.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.124","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b314d74dcfacb8f5fe941eb2155b75d0a82e73d6d424b70738cdadb2b1fe3f8b","features":{},"yanked":true,"pubtime":"2022-07-05T05:35:36Z"}
{"name":"mv-model","vers":"0.2.0","deps":[{"name":"anyhow","req":"^1.0.52","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan-reporting","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"datatest-stable","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"internment","req":"^0.5.0","features":["arc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-bytecode-verifier","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-command-line-common","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-prover-test-utils","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"move-symbol-pool","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-binary-format","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-bytecode-source-map","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-compiler","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-core-types","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-disassembler","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-ir-types","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.7.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.124","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a40e0e7a0996daa052e2861f9532e87a19427bd7188b1e5572e654d868ee0b67","features":{},"yanked":true,"pubtime":"2022-07-22T01:43:24Z"}
{"name":"mv-model","vers":"0.2.1","deps":[{"name":"anyhow","req":"^1.0.52","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan-reporting","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"datatest-stable","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"internment","req":"^0.5.0","features":["arc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-bytecode-verifier","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-command-line-common","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-prover-test-utils","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"move-symbol-pool","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-binary-format","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-bytecode-source-map","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-compiler","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-core-types","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-disassembler","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-ir-types","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.7.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.124","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"baf977a208cb9abbb9a7691ff631d70fdc223ca41a2ca557340b57c6271b58ac","features":{},"yanked":true,"pubtime":"2022-07-22T02:22:35Z"}
{"name":"mv-model","vers":"0.3.0","deps":[{"name":"anyhow","req":"^1.0.52","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan-reporting","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"datatest-stable","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"internment","req":"^0.5.0","features":["arc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-bytecode-verifier","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-command-line-common","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-prover-test-utils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"move-symbol-pool","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-binary-format","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-bytecode-source-map","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-compiler","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-core-types","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-disassembler","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-ir-types","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.7.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.5.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.124","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"879ac8dceafa2d8319227c80266d78f38c95cece6389a533843c4b4617ef28dd","features":{},"yanked":true,"pubtime":"2022-08-03T05:08:26Z"}
{"name":"mv-model","vers":"0.3.1","deps":[{"name":"anyhow","req":"^1.0.52","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan-reporting","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"datatest-stable","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"internment","req":"^0.5.0","features":["arc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-bytecode-verifier","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-command-line-common","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-prover-test-utils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"move-symbol-pool","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-binary-format","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-bytecode-source-map","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-compiler","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-core-types","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-disassembler","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-ir-types","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.7.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.5.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.124","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4f7a073e364eb6b725619a78dc392fa5ca561e4d78f3e1765ec75085b3600c4b","features":{},"yanked":true,"pubtime":"2022-08-13T08:36:32Z"}
{"name":"mv-model","vers":"0.3.2","deps":[{"name":"anyhow","req":"^1.0.52","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"codespan-reporting","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"datatest-stable","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"internment","req":"^0.5.0","features":["arc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-bytecode-verifier","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-command-line-common","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"move-prover-test-utils","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"move-symbol-pool","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-binary-format","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-bytecode-source-map","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-compiler","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-core-types","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-disassembler","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"mv-ir-types","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"once_cell","req":"^1.7.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.5.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.124","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f37ccab78abe87b641fceffc4b96602385d9685b1abdba0f98e13494a489706e","features":{},"yanked":true,"pubtime":"2022-08-23T18:54:50Z"}