Skip to content

Commit 0407bb3

Browse files
committed
Update crate xlsynth-driver
1 parent 679ff1f commit 0407bb3

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

xl/sy/xlsynth-driver

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -93,3 +93,4 @@
9393
{"name":"xlsynth-driver","vers":"0.0.135","deps":[{"name":"clap","req":"^4.5.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"prost-build","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"regex","req":"^1.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"test-case","req":"^3.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"toml","req":"^0.8.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.0.135","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.0.135","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4bc50c838dffe5b295c0dbdb68aefcc649a425725665f82ace9c1c6b808cd013","features":{"with-boolector":["xlsynth-g8r/with-boolector"]},"yanked":false}
9494
{"name":"xlsynth-driver","vers":"0.0.136","deps":[{"name":"clap","req":"^4.5.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"prost-build","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"regex","req":"^1.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"test-case","req":"^3.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"toml","req":"^0.8.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.0.136","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.0.136","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"57bb7ff74abaefdff7f6e832600be2eacd5c754e2a686b122221923cc3f13e5d","features":{"with-boolector":["xlsynth-g8r/with-boolector"]},"yanked":false}
9595
{"name":"xlsynth-driver","vers":"0.0.137","deps":[{"name":"clap","req":"^4.5.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"prost-build","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"regex","req":"^1.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"test-case","req":"^3.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"toml","req":"^0.8.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.0.137","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.0.137","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8345fa1547c24c9d26ad81353e1d92c4d6444b1c990b1be8ccb0fd01a446e233","features":{"default":[],"has-boolector":["xlsynth-g8r/has-boolector"],"with-boolector-built":["xlsynth-g8r/with-boolector-built","has-boolector"],"with-boolector-system":["xlsynth-g8r/with-boolector-system","has-boolector"]},"yanked":false}
96+
{"name":"xlsynth-driver","vers":"0.0.138","deps":[{"name":"clap","req":"^4.5.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"env_logger","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"log","req":"^0.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty_assertions","req":"^1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"prost-build","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"regex","req":"^1.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"test-case","req":"^3.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"toml","req":"^0.8.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth","req":"^0.0.138","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"xlsynth-g8r","req":"^0.0.138","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8a2ebee8fa115a2e4cfab5c4c6964dec9b16042dad609fe130efacc8cdf66739","features":{"default":[],"has-boolector":["xlsynth-g8r/has-boolector"],"with-boolector-built":["xlsynth-g8r/with-boolector-built","has-boolector"],"with-boolector-system":["xlsynth-g8r/with-boolector-system","has-boolector"]},"yanked":false}

0 commit comments

Comments
 (0)