{"name":"taco-bdd","vers":"0.1.0-alpha.1","deps":[{"name":"cudd-sys","req":"^1.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.177","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libc-stdhandle","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxidd","req":"^0.11.0","features":["bdd","bcdd","dot-export","multi-threading","manager-index"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxidd-dump","req":"^0.6.0","features":["dot"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8988c3058e8b640e8771dbba97842e337751feb387610330958f580921b09567","features":{},"features2":{"config_deserialize":["dep:serde"],"cudd":["dep:cudd-sys","dep:libc-stdhandle"],"default":["oxidd"],"oxidd":["dep:oxidd"],"visualize":["dep:oxidd-dump","dep:libc"]},"yanked":true,"pubtime":"2026-01-19T14:38:36Z","v":2}
{"name":"taco-bdd","vers":"0.1.0-alpha.2","deps":[{"name":"cudd-sys","req":"^1.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.177","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libc-stdhandle","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxidd","req":"^0.11.0","features":["bdd","bcdd","dot-export","multi-threading","manager-index"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxidd-dump","req":"^0.6.0","features":["dot"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"dd57c2cb294473fe1a2e89d2993204f4a6959938e66ff30ed479408feff8bad6","features":{},"features2":{"config_deserialize":["dep:serde"],"cudd":["dep:cudd-sys","dep:libc-stdhandle"],"default":["oxidd"],"oxidd":["dep:oxidd"],"visualize":["dep:oxidd-dump","dep:libc"]},"yanked":true,"pubtime":"2026-01-20T07:37:00Z","v":2}
{"name":"taco-bdd","vers":"0.1.0-alpha.3","deps":[{"name":"cudd-sys","req":"^1.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.177","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libc-stdhandle","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxidd","req":"^0.11.0","features":["bdd","bcdd","dot-export","multi-threading","manager-index"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxidd-dump","req":"^0.6.0","features":["dot"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f02b97f2808a581a07cee1abbdb96a0463ede08b39f5a6db89e14fcf28622adb","features":{},"features2":{"config_deserialize":["dep:serde"],"cudd":["dep:cudd-sys","dep:libc-stdhandle"],"default":["oxidd"],"oxidd":["dep:oxidd"],"visualize":["dep:oxidd-dump","dep:libc"]},"yanked":true,"pubtime":"2026-01-20T07:56:35Z","v":2}
{"name":"taco-bdd","vers":"0.1.0","deps":[{"name":"cudd-sys","req":"^1.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.177","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libc-stdhandle","req":"^0.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxidd","req":"^0.11.0","features":["bdd","bcdd","dot-export","multi-threading","manager-index"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"oxidd-dump","req":"^0.6.0","features":["dot"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.228","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2074ca6e03ef6be3e6a16984efec53fff401c53f46382d6e2f2324971a8e9c17","features":{},"features2":{"config_deserialize":["dep:serde"],"cudd":["dep:cudd-sys","dep:libc-stdhandle"],"default":["oxidd"],"oxidd":["dep:oxidd"],"visualize":["dep:oxidd-dump","dep:libc"]},"yanked":false,"pubtime":"2026-01-20T09:29:38Z","v":2}