crates.io-index/pr/op/propositional-tableau-solver-rs
bors 036e510847 Collapse index into one commit
Previous HEAD was cbe1434269, now on the `snapshot-2024-03-11` branch

More information about this change can be found [online] and on [this issue].

[online]: https://internals.rust-lang.org/t/cargos-crate-index-upcoming-squash-into-one-commit/8440
[this issue]: https://github.com/rust-lang/crates-io-cargo-teams/issues/47
2024-03-11 08:23:15 +00:00

2 lines
1.1 KiB
Plaintext

{"name":"propositional-tableau-solver-rs","vers":"0.1.0","deps":[{"name":"assert2","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"colored","req":"^1.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom","req":"^5.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"nom_locate","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paw","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_env_logger","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"structopt","req":"^0.3.14","features":["color","suggestions","wrap_help","paw"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a68f0d8e1a1278186dfd027836d21434295ce5519b2aae6c96e91329cd2913c0","features":{},"yanked":false}