mirror of
https://github.com/rust-lang/crates.io-index.git
synced 2024-05-16 00:06:28 -05:00
27 lines
32 KiB
Plaintext
27 lines
32 KiB
Plaintext
{"name":"biodivine-lib-param-bn","vers":"0.1.0","deps":[{"name":"biodivine-lib-bdd","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ad744f7e529d9ca822f836b131a74cb1aa4467df17c0bb94885c1b860647097d","features":{"default":["shields_up"],"shields_up":[]},"yanked":false}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.2.0","deps":[{"name":"biodivine-lib-bdd","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"16ed8e6400736e1b1c8b63e0ed56ac10b0669fb82ff024b955daf4c38e3703cf","features":{"default":["shields_up"],"shields_up":[]},"yanked":false}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.2.1","deps":[{"name":"biodivine-lib-bdd","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f7ebf8d47b381df522aef4e48ba29363893fc0247d8af6e7864a603b46ababdf","features":{"default":["shields_up"],"shields_up":[]},"yanked":false}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.2.2","deps":[{"name":"biodivine-lib-bdd","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fed7b510ce7c359cb9047bc423f635033f41f972548ef8d8a54b0fa283de4ccc","features":{"default":["shields_up"],"shields_up":[]},"yanked":false}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.2.3","deps":[{"name":"biodivine-lib-bdd","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"03f7bb48b5233a019954affba85172cdd0e68901992e9107803f0063d9a526de","features":{"default":["shields_up"],"shields_up":[]},"yanked":false}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.2.4","deps":[{"name":"biodivine-lib-bdd","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c81b2c8e39f109a60b98c521a333c196d1b1b68e654ac8760d62df42095fae35","features":{"default":["shields_up"],"shields_up":[]},"yanked":false}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.3.0","deps":[{"name":"biodivine-lib-bdd","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^0.6.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"699cd9c3482e301c2ebcedbbbfbbf448a519a19cfeeb00055b7730338bb45ea1","features":{},"yanked":false}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.4.0","deps":[{"name":"biodivine-lib-bdd","req":">=0.4.2, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.11.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"949ad640d82bc80f5c441a30d6af9b7c2a859d11474664c67789e737e265b2fb","features":{"print-progress":[]},"yanked":true}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.4.1","deps":[{"name":"biodivine-lib-bdd","req":">=0.4.2, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.11.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"405c5771253b5fb96af3c8dfa044861b633164a2079e0a6df0f30e42c27a420e","features":{"print-progress":[]},"yanked":false}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.4.2","deps":[{"name":"biodivine-lib-bdd","req":">=0.4.2, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.11.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cb09ed93c1f19a0abda82fbee52240ed35cd41a3c689932065cd34090070906a","features":{"print-progress":[]},"yanked":false}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.4.3","deps":[{"name":"biodivine-lib-bdd","req":">=0.4.2, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.11.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ca4e588158a7217ad9485464f03ee69830fad67def2dae72adc4c0788b07025f","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.4.4","deps":[{"name":"biodivine-lib-bdd","req":">=0.4.2, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.11.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"11e326780243c2a5bd587a4bbfdeb0bf9887ca245bdb7967451939b8a61a8ab0","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.4.5","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.1, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.11.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"514a1f8c99f6da9b5fc27f7cae2d675e9e5f8ca0f9b139047528fc6ae432d4ca","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.4.6","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.1, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"34b8de015fe39ebd06c8435536a5ec47eec5d75923c4c94c28ba588ca2062805","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.4.7","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.2, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.18.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1d0a5320e80f7db92cc96e252128f1d8dd9a26211ddc7c7566f61372521953f2","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.5.0","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"55c1c537117fc841fd9b3ea40fafcb27eb3af0a87d15f08b9d642699866b52fe","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.5.1","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6ce47fc024d3df0ee52a890dfa2f187400fd1f8c7a489da902049594a56d6b6d","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.5.2","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6c5bed736b58f82e8950dc7e0872f7f477e6fa36294fc8a12b2ce97249d197bb","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.5.3","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f2ffb355550dffe2294630313136372cd3056bb927ea574bc8d4a6cd7f5fb4eb","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.5.4","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"69a9c017e752868208a06e2492820026342448ed486ba5b514f7013ef97ad5f1","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.5.5","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"efbbe0d79b2d200329e8f24a0be4d14205367c8642e31b0a573668dabf6f035a","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.5.6","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e1a59d2d36bfdb6a17f6c238f83933323060280a539cfd7c81f5b40689ebba82","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.5.7","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.6, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"57f3a2349c0740234cd7de1a6f01f7fcb5e7aded3ab41746109d57640f3718b8","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.5.8","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.11, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"86d09c7d062dbeca81e36b914b887d02c09dce2aed3921313f0444c142fa4d77","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.5.9","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.11, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"064e6c64051da1d9f8e83145cb7e5e071e4142c57892c413394aae2efb9c959e","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|
|
{"name":"biodivine-lib-param-bn","vers":"0.5.10","deps":[{"name":"biodivine-lib-bdd","req":">=0.5.13, <1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bitvector","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"fxhash","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-bigint","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"num-traits","req":"^0.2.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"regex","req":"^1.10.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"roxmltree","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ec6cb2f06622d14554c02960974b69d6f0ac13329fc3fc073b0631c0293824a7","features":{"print-progress":[]},"features2":{"solver-z3":["dep:z3"]},"yanked":false,"rust_version":"1.60","v":2}
|