{"name":"omena-checker","vers":"0.1.0","deps":[{"name":"omena-abstract-value","req":"^0.1.8","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":"50dbec8c7f9c4afe650292d93d81d78d2cac99f360c4948af8fe1551b5a4e92c","features":{},"yanked":false,"pubtime":"2026-05-05T12:49:56Z"}
{"name":"omena-checker","vers":"0.1.14","deps":[{"name":"omena-abstract-value","req":"^0.1.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-cascade","req":"^0.1.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-resolver","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":"070b60785684298291446a76897856ba8249d91895a9882ea7a4ad10ffa0b956","features":{},"yanked":false,"pubtime":"2026-05-26T13:47:59Z"}
{"name":"omena-checker","vers":"0.2.0","deps":[{"name":"omena-abstract-value","req":"=0.2.0","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-categorical","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-resolver","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-rg-flow","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-smt","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-variational","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"}],"cksum":"6bbc58f3fb26b04fab5e23e18b30e4c1a17e96fe5a337742fe377e9326063d47","features":{"default":[],"smt-z3":["omena-smt/smt-z3"]},"yanked":false,"rust_version":"1.93","pubtime":"2026-06-03T05:48:24Z"}