{"name":"bamts-verification","vers":"0.1.0","deps":[{"name":"anyhow","req":"=1.0.104","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bamts-bytecode","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bamts-cli","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bamts-codegen","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bamts-compiler","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bamts-native","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bamts-node","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bamts-runtime","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quint-connect","req":"=0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"=1.0.229","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"=1.0.151","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"=0.10.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"=0.9.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"781472ebf5fb5d99a8d371da6eb37a1a8ea1bacbcdcf33a1898c40e9abde6351","features":{},"yanked":false,"rust_version":"1.97.1","pubtime":"2026-07-30T03:27:56Z"}