summaryrefslogtreecommitdiffstats
path: root/Cargo.lock
diff options
context:
space:
mode:
Diffstat (limited to 'Cargo.lock')
-rw-r--r--Cargo.lock759
1 files changed, 759 insertions, 0 deletions
diff --git a/Cargo.lock b/Cargo.lock
new file mode 100644
index 0000000..f39c0de
--- /dev/null
+++ b/Cargo.lock
@@ -0,0 +1,759 @@
1# This file is automatically @generated by Cargo.
2# It is not intended for manual editing.
3version = 3
4
5[[package]]
6name = "anyhow"
7version = "1.0.36"
8source = "registry+https://github.com/rust-lang/crates.io-index"
9checksum = "68803225a7b13e47191bab76f2687382b60d259e8cf37f6e1893658b84bb9479"
10
11[[package]]
12name = "approx"
13version = "0.3.2"
14source = "registry+https://github.com/rust-lang/crates.io-index"
15checksum = "f0e60b75072ecd4168020818c0107f2857bb6c4e64252d8d3983f6263b40a5c3"
16dependencies = [
17 "num-traits",
18]
19
20[[package]]
21name = "autocfg"
22version = "1.0.1"
23source = "registry+https://github.com/rust-lang/crates.io-index"
24checksum = "cdb031dd78e28731d87d56cc8ffef4a8f36ca26c38fe2de700543e627f8a464a"
25
26[[package]]
27name = "bitflags"
28version = "1.2.1"
29source = "registry+https://github.com/rust-lang/crates.io-index"
30checksum = "cf1de2fe8c75bc145a2f577add951f8134889b4795d47466a54a5c846d691693"
31
32[[package]]
33name = "bstr"
34version = "0.2.17"
35source = "registry+https://github.com/rust-lang/crates.io-index"
36checksum = "ba3569f383e8f1598449f1a423e72e99569137b47740b1da11ef19af3d5c3223"
37dependencies = [
38 "memchr",
39]
40
41[[package]]
42name = "cairo-rs"
43version = "0.9.1"
44source = "registry+https://github.com/rust-lang/crates.io-index"
45checksum = "c5c0f2e047e8ca53d0ff249c54ae047931d7a6ebe05d00af73e0ffeb6e34bdb8"
46dependencies = [
47 "bitflags",
48 "cairo-sys-rs",
49 "glib",
50 "glib-sys",
51 "gobject-sys",
52 "libc",
53 "thiserror",
54]
55
56[[package]]
57name = "cairo-sys-rs"
58version = "0.10.0"
59source = "registry+https://github.com/rust-lang/crates.io-index"
60checksum = "2ed2639b9ad5f1d6efa76de95558e11339e7318426d84ac4890b86c03e828ca7"
61dependencies = [
62 "glib-sys",
63 "libc",
64 "system-deps",
65]
66
67[[package]]
68name = "cc"
69version = "1.0.77"
70source = "registry+https://github.com/rust-lang/crates.io-index"
71checksum = "e9f73505338f7d905b19d18738976aae232eb46b8efc15554ffc56deb5d9ebe4"
72
73[[package]]
74name = "cfg-if"
75version = "0.1.10"
76source = "registry+https://github.com/rust-lang/crates.io-index"
77checksum = "4785bdd1c96b2a846b2bd7cc02e86b6b3dbf14e7e53446c4f54c92a361040822"
78
79[[package]]
80name = "diaphragm-cairo-renderer"
81version = "0.1.0"
82dependencies = [
83 "cairo-rs",
84 "diaphragm-core",
85 "pango",
86 "pangocairo",
87]
88
89[[package]]
90name = "diaphragm-core"
91version = "0.1.0"
92dependencies = [
93 "palette",
94]
95
96[[package]]
97name = "diaphragm-examples-lib-dfscq-log"
98version = "0.1.0"
99dependencies = [
100 "diaphragm-cairo-renderer",
101 "diaphragm-core",
102 "diaphragm-z3-solver",
103]
104
105[[package]]
106name = "diaphragm-lua-bindings"
107version = "0.1.0"
108dependencies = [
109 "diaphragm-cairo-renderer",
110 "diaphragm-core",
111 "diaphragm-z3-solver",
112 "mlua",
113]
114
115[[package]]
116name = "diaphragm-z3-solver"
117version = "0.1.0"
118dependencies = [
119 "diaphragm-core",
120 "z3",
121]
122
123[[package]]
124name = "either"
125version = "1.6.1"
126source = "registry+https://github.com/rust-lang/crates.io-index"
127checksum = "e78d4f1cc4ae33bbfc157ed5d5a5ef3bc29227303d595861deb238fcec4e9457"
128
129[[package]]
130name = "futures-channel"
131version = "0.3.8"
132source = "registry+https://github.com/rust-lang/crates.io-index"
133checksum = "4b7109687aa4e177ef6fe84553af6280ef2778bdb7783ba44c9dc3399110fe64"
134dependencies = [
135 "futures-core",
136]
137
138[[package]]
139name = "futures-core"
140version = "0.3.8"
141source = "registry+https://github.com/rust-lang/crates.io-index"
142checksum = "847ce131b72ffb13b6109a221da9ad97a64cbe48feb1028356b836b47b8f1748"
143
144[[package]]
145name = "futures-executor"
146version = "0.3.8"
147source = "registry+https://github.com/rust-lang/crates.io-index"
148checksum = "4caa2b2b68b880003057c1dd49f1ed937e38f22fcf6c212188a121f08cf40a65"
149dependencies = [
150 "futures-core",
151 "futures-task",
152 "futures-util",
153]
154
155[[package]]
156name = "futures-macro"
157version = "0.3.8"
158source = "registry+https://github.com/rust-lang/crates.io-index"
159checksum = "77408a692f1f97bcc61dc001d752e00643408fbc922e4d634c655df50d595556"
160dependencies = [
161 "proc-macro-hack",
162 "proc-macro2",
163 "quote",
164 "syn",
165]
166
167[[package]]
168name = "futures-task"
169version = "0.3.8"
170source = "registry+https://github.com/rust-lang/crates.io-index"
171checksum = "7c554eb5bf48b2426c4771ab68c6b14468b6e76cc90996f528c3338d761a4d0d"
172dependencies = [
173 "once_cell",
174]
175
176[[package]]
177name = "futures-util"
178version = "0.3.8"
179source = "registry+https://github.com/rust-lang/crates.io-index"
180checksum = "d304cff4a7b99cfb7986f7d43fbe93d175e72e704a8860787cc95e9ffd85cbd2"
181dependencies = [
182 "futures-core",
183 "futures-macro",
184 "futures-task",
185 "pin-project",
186 "pin-utils",
187 "proc-macro-hack",
188 "proc-macro-nested",
189 "slab",
190]
191
192[[package]]
193name = "getrandom"
194version = "0.1.15"
195source = "registry+https://github.com/rust-lang/crates.io-index"
196checksum = "fc587bc0ec293155d5bfa6b9891ec18a1e330c234f896ea47fbada4cadbe47e6"
197dependencies = [
198 "cfg-if",
199 "libc",
200 "wasi",
201]
202
203[[package]]
204name = "glib"
205version = "0.10.3"
206source = "registry+https://github.com/rust-lang/crates.io-index"
207checksum = "0c685013b7515e668f1b57a165b009d4d28cb139a8a989bbd699c10dad29d0c5"
208dependencies = [
209 "bitflags",
210 "futures-channel",
211 "futures-core",
212 "futures-executor",
213 "futures-task",
214 "futures-util",
215 "glib-macros",
216 "glib-sys",
217 "gobject-sys",
218 "libc",
219 "once_cell",
220]
221
222[[package]]
223name = "glib-macros"
224version = "0.10.1"
225source = "registry+https://github.com/rust-lang/crates.io-index"
226checksum = "41486a26d1366a8032b160b59065a59fb528530a46a49f627e7048fb8c064039"
227dependencies = [
228 "anyhow",
229 "heck",
230 "itertools",
231 "proc-macro-crate",
232 "proc-macro-error",
233 "proc-macro2",
234 "quote",
235 "syn",
236]
237
238[[package]]
239name = "glib-sys"
240version = "0.10.1"
241source = "registry+https://github.com/rust-lang/crates.io-index"
242checksum = "c7e9b997a66e9a23d073f2b1abb4dbfc3925e0b8952f67efd8d9b6e168e4cdc1"
243dependencies = [
244 "libc",
245 "system-deps",
246]
247
248[[package]]
249name = "gobject-sys"
250version = "0.10.0"
251source = "registry+https://github.com/rust-lang/crates.io-index"
252checksum = "952133b60c318a62bf82ee75b93acc7e84028a093e06b9e27981c2b6fe68218c"
253dependencies = [
254 "glib-sys",
255 "libc",
256 "system-deps",
257]
258
259[[package]]
260name = "heck"
261version = "0.3.2"
262source = "registry+https://github.com/rust-lang/crates.io-index"
263checksum = "87cbf45460356b7deeb5e3415b5563308c0a9b057c85e12b06ad551f98d0a6ac"
264dependencies = [
265 "unicode-segmentation",
266]
267
268[[package]]
269name = "itertools"
270version = "0.9.0"
271source = "registry+https://github.com/rust-lang/crates.io-index"
272checksum = "284f18f85651fe11e8a991b2adb42cb078325c996ed026d994719efcfca1d54b"
273dependencies = [
274 "either",
275]
276
277[[package]]
278name = "lazy_static"
279version = "1.4.0"
280source = "registry+https://github.com/rust-lang/crates.io-index"
281checksum = "e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646"
282
283[[package]]
284name = "libc"
285version = "0.2.81"
286source = "registry+https://github.com/rust-lang/crates.io-index"
287checksum = "1482821306169ec4d07f6aca392a4681f66c75c9918aa49641a2595db64053cb"
288
289[[package]]
290name = "log"
291version = "0.4.11"
292source = "registry+https://github.com/rust-lang/crates.io-index"
293checksum = "4fabed175da42fed1fa0746b0ea71f412aa9d35e76e95e59b192c64b9dc2bf8b"
294dependencies = [
295 "cfg-if",
296]
297
298[[package]]
299name = "memchr"
300version = "2.5.0"
301source = "registry+https://github.com/rust-lang/crates.io-index"
302checksum = "2dffe52ecf27772e601905b7522cb4ef790d2cc203488bbd0e2fe85fcb74566d"
303
304[[package]]
305name = "mlua"
306version = "0.8.6"
307source = "registry+https://github.com/rust-lang/crates.io-index"
308checksum = "4351dbcc863fb6249c81b3bd0c8001214e9d4d44d22cabda17026353a77fe612"
309dependencies = [
310 "bstr",
311 "cc",
312 "mlua_derive",
313 "num-traits",
314 "once_cell",
315 "pkg-config",
316 "rustc-hash",
317]
318
319[[package]]
320name = "mlua_derive"
321version = "0.8.0"
322source = "registry+https://github.com/rust-lang/crates.io-index"
323checksum = "b9214e60d3cf1643013b107330fcd374ccec1e4ba1eef76e7e5da5e8202e71c0"
324dependencies = [
325 "proc-macro2",
326 "quote",
327 "syn",
328]
329
330[[package]]
331name = "num-traits"
332version = "0.2.14"
333source = "registry+https://github.com/rust-lang/crates.io-index"
334checksum = "9a64b1ec5cda2586e284722486d802acf1f7dbdc623e2bfc57e65ca1cd099290"
335dependencies = [
336 "autocfg",
337]
338
339[[package]]
340name = "once_cell"
341version = "1.5.2"
342source = "registry+https://github.com/rust-lang/crates.io-index"
343checksum = "13bd41f508810a131401606d54ac32a467c97172d74ba7662562ebba5ad07fa0"
344
345[[package]]
346name = "palette"
347version = "0.5.0"
348source = "registry+https://github.com/rust-lang/crates.io-index"
349checksum = "a05c0334468e62a4dfbda34b29110aa7d70d58c7fdb2c9857b5874dd9827cc59"
350dependencies = [
351 "approx",
352 "num-traits",
353 "palette_derive",
354 "phf",
355 "phf_codegen",
356]
357
358[[package]]
359name = "palette_derive"
360version = "0.5.0"
361source = "registry+https://github.com/rust-lang/crates.io-index"
362checksum = "0b4b5f600e60dd3a147fb57b4547033d382d1979eb087af310e91cb45a63b1f4"
363dependencies = [
364 "proc-macro2",
365 "quote",
366 "syn",
367]
368
369[[package]]
370name = "pango"
371version = "0.9.1"
372source = "registry+https://github.com/rust-lang/crates.io-index"
373checksum = "9937068580bebd8ced19975938573803273ccbcbd598c58d4906efd4ac87c438"
374dependencies = [
375 "bitflags",
376 "glib",
377 "glib-sys",
378 "gobject-sys",
379 "libc",
380 "once_cell",
381 "pango-sys",
382]
383
384[[package]]
385name = "pango-sys"
386version = "0.10.0"
387source = "registry+https://github.com/rust-lang/crates.io-index"
388checksum = "24d2650c8b62d116c020abd0cea26a4ed96526afda89b1c4ea567131fdefc890"
389dependencies = [
390 "glib-sys",
391 "gobject-sys",
392 "libc",
393 "system-deps",
394]
395
396[[package]]
397name = "pangocairo"
398version = "0.10.0"
399source = "registry+https://github.com/rust-lang/crates.io-index"
400checksum = "00f5ae67a05a5e023f09f64e9a71c845274d4b82dedee237b70425811885e883"
401dependencies = [
402 "bitflags",
403 "cairo-rs",
404 "cairo-sys-rs",
405 "glib",
406 "glib-sys",
407 "gobject-sys",
408 "libc",
409 "pango",
410 "pango-sys",
411 "pangocairo-sys",
412]
413
414[[package]]
415name = "pangocairo-sys"
416version = "0.11.0"
417source = "registry+https://github.com/rust-lang/crates.io-index"
418checksum = "94ccc97f698c2f0233b84e5ca676893a1e676785b60eec700b9c0e6dcd0feb98"
419dependencies = [
420 "cairo-sys-rs",
421 "glib-sys",
422 "libc",
423 "pango-sys",
424 "system-deps",
425]
426
427[[package]]
428name = "phf"
429version = "0.8.0"
430source = "registry+https://github.com/rust-lang/crates.io-index"
431checksum = "3dfb61232e34fcb633f43d12c58f83c1df82962dcdfa565a4e866ffc17dafe12"
432dependencies = [
433 "phf_shared",
434]
435
436[[package]]
437name = "phf_codegen"
438version = "0.8.0"
439source = "registry+https://github.com/rust-lang/crates.io-index"
440checksum = "cbffee61585b0411840d3ece935cce9cb6321f01c45477d30066498cd5e1a815"
441dependencies = [
442 "phf_generator",
443 "phf_shared",
444]
445
446[[package]]
447name = "phf_generator"
448version = "0.8.0"
449source = "registry+https://github.com/rust-lang/crates.io-index"
450checksum = "17367f0cc86f2d25802b2c26ee58a7b23faeccf78a396094c13dced0d0182526"
451dependencies = [
452 "phf_shared",
453 "rand",
454]
455
456[[package]]
457name = "phf_shared"
458version = "0.8.0"
459source = "registry+https://github.com/rust-lang/crates.io-index"
460checksum = "c00cf8b9eafe68dde5e9eaa2cef8ee84a9336a47d566ec55ca16589633b65af7"
461dependencies = [
462 "siphasher",
463]
464
465[[package]]
466name = "pin-project"
467version = "1.0.2"
468source = "registry+https://github.com/rust-lang/crates.io-index"
469checksum = "9ccc2237c2c489783abd8c4c80e5450fc0e98644555b1364da68cc29aa151ca7"
470dependencies = [
471 "pin-project-internal",
472]
473
474[[package]]
475name = "pin-project-internal"
476version = "1.0.2"
477source = "registry+https://github.com/rust-lang/crates.io-index"
478checksum = "f8e8d2bf0b23038a4424865103a4df472855692821aab4e4f5c3312d461d9e5f"
479dependencies = [
480 "proc-macro2",
481 "quote",
482 "syn",
483]
484
485[[package]]
486name = "pin-utils"
487version = "0.1.0"
488source = "registry+https://github.com/rust-lang/crates.io-index"
489checksum = "8b870d8c151b6f2fb93e84a13146138f05d02ed11c7e7c54f8826aaaf7c9f184"
490
491[[package]]
492name = "pkg-config"
493version = "0.3.19"
494source = "registry+https://github.com/rust-lang/crates.io-index"
495checksum = "3831453b3449ceb48b6d9c7ad7c96d5ea673e9b470a1dc578c2ce6521230884c"
496
497[[package]]
498name = "ppv-lite86"
499version = "0.2.10"
500source = "registry+https://github.com/rust-lang/crates.io-index"
501checksum = "ac74c624d6b2d21f425f752262f42188365d7b8ff1aff74c82e45136510a4857"
502
503[[package]]
504name = "proc-macro-crate"
505version = "0.1.5"
506source = "registry+https://github.com/rust-lang/crates.io-index"
507checksum = "1d6ea3c4595b96363c13943497db34af4460fb474a95c43f4446ad341b8c9785"
508dependencies = [
509 "toml",
510]
511
512[[package]]
513name = "proc-macro-error"
514version = "1.0.4"
515source = "registry+https://github.com/rust-lang/crates.io-index"
516checksum = "da25490ff9892aab3fcf7c36f08cfb902dd3e71ca0f9f9517bea02a73a5ce38c"
517dependencies = [
518 "proc-macro-error-attr",
519 "proc-macro2",
520 "quote",
521 "syn",
522 "version_check",
523]
524
525[[package]]
526name = "proc-macro-error-attr"
527version = "1.0.4"
528source = "registry+https://github.com/rust-lang/crates.io-index"
529checksum = "a1be40180e52ecc98ad80b184934baf3d0d29f979574e439af5a55274b35f869"
530dependencies = [
531 "proc-macro2",
532 "quote",
533 "version_check",
534]
535
536[[package]]
537name = "proc-macro-hack"
538version = "0.5.19"
539source = "registry+https://github.com/rust-lang/crates.io-index"
540checksum = "dbf0c48bc1d91375ae5c3cd81e3722dff1abcf81a30960240640d223f59fe0e5"
541
542[[package]]
543name = "proc-macro-nested"
544version = "0.1.6"
545source = "registry+https://github.com/rust-lang/crates.io-index"
546checksum = "eba180dafb9038b050a4c280019bbedf9f2467b61e5d892dcad585bb57aadc5a"
547
548[[package]]
549name = "proc-macro2"
550version = "1.0.24"
551source = "registry+https://github.com/rust-lang/crates.io-index"
552checksum = "1e0704ee1a7e00d7bb417d0770ea303c1bccbabf0ef1667dae92b5967f5f8a71"
553dependencies = [
554 "unicode-xid",
555]
556
557[[package]]
558name = "quote"
559version = "1.0.8"
560source = "registry+https://github.com/rust-lang/crates.io-index"
561checksum = "991431c3519a3f36861882da93630ce66b52918dcf1b8e2fd66b397fc96f28df"
562dependencies = [
563 "proc-macro2",
564]
565
566[[package]]
567name = "rand"
568version = "0.7.3"
569source = "registry+https://github.com/rust-lang/crates.io-index"
570checksum = "6a6b1679d49b24bbfe0c803429aa1874472f50d9b363131f0e89fc356b544d03"
571dependencies = [
572 "getrandom",
573 "libc",
574 "rand_chacha",
575 "rand_core",
576 "rand_hc",
577 "rand_pcg",
578]
579
580[[package]]
581name = "rand_chacha"
582version = "0.2.2"
583source = "registry+https://github.com/rust-lang/crates.io-index"
584checksum = "f4c8ed856279c9737206bf725bf36935d8666ead7aa69b52be55af369d193402"
585dependencies = [
586 "ppv-lite86",
587 "rand_core",
588]
589
590[[package]]
591name = "rand_core"
592version = "0.5.1"
593source = "registry+https://github.com/rust-lang/crates.io-index"
594checksum = "90bde5296fc891b0cef12a6d03ddccc162ce7b2aff54160af9338f8d40df6d19"
595dependencies = [
596 "getrandom",
597]
598
599[[package]]
600name = "rand_hc"
601version = "0.2.0"
602source = "registry+https://github.com/rust-lang/crates.io-index"
603checksum = "ca3129af7b92a17112d59ad498c6f81eaf463253766b90396d39ea7a39d6613c"
604dependencies = [
605 "rand_core",
606]
607
608[[package]]
609name = "rand_pcg"
610version = "0.2.1"
611source = "registry+https://github.com/rust-lang/crates.io-index"
612checksum = "16abd0c1b639e9eb4d7c50c0b8100b0d0f849be2349829c740fe8e6eb4816429"
613dependencies = [
614 "rand_core",
615]
616
617[[package]]
618name = "rustc-hash"
619version = "1.1.0"
620source = "registry+https://github.com/rust-lang/crates.io-index"
621checksum = "08d43f7aa6b08d49f382cde6a7982047c3426db949b1424bc4b7ec9ae12c6ce2"
622
623[[package]]
624name = "serde"
625version = "1.0.118"
626source = "registry+https://github.com/rust-lang/crates.io-index"
627checksum = "06c64263859d87aa2eb554587e2d23183398d617427327cf2b3d0ed8c69e4800"
628
629[[package]]
630name = "siphasher"
631version = "0.3.3"
632source = "registry+https://github.com/rust-lang/crates.io-index"
633checksum = "fa8f3741c7372e75519bd9346068370c9cdaabcc1f9599cbcf2a2719352286b7"
634
635[[package]]
636name = "slab"
637version = "0.4.2"
638source = "registry+https://github.com/rust-lang/crates.io-index"
639checksum = "c111b5bd5695e56cffe5129854aa230b39c93a305372fdbb2668ca2394eea9f8"
640
641[[package]]
642name = "strum"
643version = "0.18.0"
644source = "registry+https://github.com/rust-lang/crates.io-index"
645checksum = "57bd81eb48f4c437cadc685403cad539345bf703d78e63707418431cecd4522b"
646
647[[package]]
648name = "strum_macros"
649version = "0.18.0"
650source = "registry+https://github.com/rust-lang/crates.io-index"
651checksum = "87c85aa3f8ea653bfd3ddf25f7ee357ee4d204731f6aa9ad04002306f6e2774c"
652dependencies = [
653 "heck",
654 "proc-macro2",
655 "quote",
656 "syn",
657]
658
659[[package]]
660name = "syn"
661version = "1.0.55"
662source = "registry+https://github.com/rust-lang/crates.io-index"
663checksum = "a571a711dddd09019ccc628e1b17fe87c59b09d513c06c026877aa708334f37a"
664dependencies = [
665 "proc-macro2",
666 "quote",
667 "unicode-xid",
668]
669
670[[package]]
671name = "system-deps"
672version = "1.3.2"
673source = "registry+https://github.com/rust-lang/crates.io-index"
674checksum = "0f3ecc17269a19353b3558b313bba738b25d82993e30d62a18406a24aba4649b"
675dependencies = [
676 "heck",
677 "pkg-config",
678 "strum",
679 "strum_macros",
680 "thiserror",
681 "toml",
682 "version-compare",
683]
684
685[[package]]
686name = "thiserror"
687version = "1.0.22"
688source = "registry+https://github.com/rust-lang/crates.io-index"
689checksum = "0e9ae34b84616eedaaf1e9dd6026dbe00dcafa92aa0c8077cb69df1fcfe5e53e"
690dependencies = [
691 "thiserror-impl",
692]
693
694[[package]]
695name = "thiserror-impl"
696version = "1.0.22"
697source = "registry+https://github.com/rust-lang/crates.io-index"
698checksum = "9ba20f23e85b10754cd195504aebf6a27e2e6cbe28c17778a0c930724628dd56"
699dependencies = [
700 "proc-macro2",
701 "quote",
702 "syn",
703]
704
705[[package]]
706name = "toml"
707version = "0.5.8"
708source = "registry+https://github.com/rust-lang/crates.io-index"
709checksum = "a31142970826733df8241ef35dc040ef98c679ab14d7c3e54d827099b3acecaa"
710dependencies = [
711 "serde",
712]
713
714[[package]]
715name = "unicode-segmentation"
716version = "1.7.1"
717source = "registry+https://github.com/rust-lang/crates.io-index"
718checksum = "bb0d2e7be6ae3a5fa87eed5fb451aff96f2573d2694942e40543ae0bbe19c796"
719
720[[package]]
721name = "unicode-xid"
722version = "0.2.1"
723source = "registry+https://github.com/rust-lang/crates.io-index"
724checksum = "f7fe0bb3479651439c9112f72b6c505038574c9fbb575ed1bf3b797fa39dd564"
725
726[[package]]
727name = "version-compare"
728version = "0.0.10"
729source = "registry+https://github.com/rust-lang/crates.io-index"
730checksum = "d63556a25bae6ea31b52e640d7c41d1ab27faba4ccb600013837a3d0b3994ca1"
731
732[[package]]
733name = "version_check"
734version = "0.9.2"
735source = "registry+https://github.com/rust-lang/crates.io-index"
736checksum = "b5a972e5669d67ba988ce3dc826706fb0a8b01471c088cb0b6110b805cc36aed"
737
738[[package]]
739name = "wasi"
740version = "0.9.0+wasi-snapshot-preview1"
741source = "registry+https://github.com/rust-lang/crates.io-index"
742checksum = "cccddf32554fecc6acb585f82a32a72e28b48f8c4c1883ddfeeeaa96f7d8e519"
743
744[[package]]
745name = "z3"
746version = "0.9.0"
747source = "registry+https://github.com/rust-lang/crates.io-index"
748checksum = "0c5bdc8c9e19d1b983c5584cd4baf6fbd71f3ca5c83283b9d46ad7780d67bd3b"
749dependencies = [
750 "lazy_static",
751 "log",
752 "z3-sys",
753]
754
755[[package]]
756name = "z3-sys"
757version = "0.6.3"
758source = "registry+https://github.com/rust-lang/crates.io-index"
759checksum = "afa18ba5fbd4933e41ffb440c3fd91f91fe9cdb7310cce3ddfb6648563811de0"
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-28 15:43:01 +0000