diff options
| author | Minijackson <minijackson@riseup.net> | 2023-01-20 15:55:55 +0100 |
|---|---|---|
| committer | Minijackson <minijackson@riseup.net> | 2023-01-20 15:55:55 +0100 |
| commit | e8f8e5aa2f4a2372452e77ffe1cf8a035ce8cf8a (patch) | |
| tree | 0414522d046914e3e79ea7bfd34ad146a39a8211 /Cargo.lock | |
| parent | f336c48d08e762c1c41c15d75c85fcac996f18ea (diff) | |
| download | diaphragm-e8f8e5aa2f4a2372452e77ffe1cf8a035ce8cf8a.tar.gz diaphragm-e8f8e5aa2f4a2372452e77ffe1cf8a035ce8cf8a.zip | |
Cargo: disable Rust example for now
Diffstat (limited to 'Cargo.lock')
| -rw-r--r-- | Cargo.lock | 9 |
1 files changed, 0 insertions, 9 deletions
| @@ -189,15 +189,6 @@ dependencies = [ | |||
| 189 | ] | 189 | ] |
| 190 | 190 | ||
| 191 | [[package]] | 191 | [[package]] |
| 192 | name = "diaphragm-examples-lib-dfscq-log" | ||
| 193 | version = "0.1.0" | ||
| 194 | dependencies = [ | ||
| 195 | "diaphragm-cairo-renderer", | ||
| 196 | "diaphragm-core", | ||
| 197 | "diaphragm-z3-solver", | ||
| 198 | ] | ||
| 199 | |||
| 200 | [[package]] | ||
| 201 | name = "diaphragm-lua-bindings" | 192 | name = "diaphragm-lua-bindings" |
| 202 | version = "0.1.0" | 193 | version = "0.1.0" |
| 203 | dependencies = [ | 194 | dependencies = [ |