{"name":"omena-smt","vers":"0.1.14","deps":[{"name":"omena-cascade","req":"^0.1.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-refinement-trait","req":"^0.1.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c0dc0857d2ebb64581743e00ce2c31b76ae09b9821a73a4161ab56ee8797e44c","features":{"default":[],"smt-bitwuzla":[],"smt-cvc5":[],"smt-stub":[],"smt-z3":[]},"yanked":false,"pubtime":"2026-05-26T13:59:03Z"}
{"name":"omena-smt","vers":"0.2.0","deps":[{"name":"blake3","req":"^1.8.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-cascade","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-refinement-trait","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.20.0","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"}],"cksum":"181479d218600ee449e742313de29915e07128be7e512e55375a469ad8519034","features":{"default":[],"smt-stub":[]},"features2":{"smt-z3":["dep:z3","z3/gh-release"]},"yanked":false,"rust_version":"1.93","pubtime":"2026-06-03T05:48:12Z","v":2}