gallant/crates.io-index
1
0
Fork 0
mirror of https://github.com/rust-lang/crates.io-index.git synced 2024-05-01 23:46:09 -05:00
Code Issues Packages Projects Releases Wiki Activity

Update crate biodivine-lib-param-bn

Browse source
This commit is contained in:
bors 2024-04-08 11:59:24 +00:00
parent b6267ea04f
commit a8fff04070
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
bi/od/biodivine-lib-param-bn
View file

@ -23,3 +23,4 @@
{"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}