{"name":"omena-refinement","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-refinement-trait","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"omena-smt","req":"=0.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cb2a1a0e6cc64f7090db983f1306979662232f205784a799a7369d78c3eb24d4","features":{"default":[]},"features2":{"refinement-smt":["dep:omena-smt"]},"yanked":false,"rust_version":"1.93","pubtime":"2026-06-03T05:48:17Z","v":2}