874 lines
20 KiB
TOML
874 lines
20 KiB
TOML
# This file is automatically @generated by Cargo.
|
|
# It is not intended for manual editing.
|
|
version = 3
|
|
|
|
[[package]]
|
|
name = "aho-corasick"
|
|
version = "1.1.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "b2969dcb958b36655471fc61f7e416fa76033bdd4bfed0678d8fee1e2d07a1f0"
|
|
dependencies = [
|
|
"memchr",
|
|
]
|
|
|
|
[[package]]
|
|
name = "autocfg"
|
|
version = "1.1.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "d468802bab17cbc0cc575e9b053f41e72aa36bfa6b7f55e3529ffa43161b97fa"
|
|
|
|
[[package]]
|
|
name = "bindgen"
|
|
version = "0.66.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "f2b84e06fc203107bfbad243f4aba2af864eb7db3b1cf46ea0a023b0b433d2a7"
|
|
dependencies = [
|
|
"bitflags",
|
|
"cexpr",
|
|
"clang-sys",
|
|
"lazy_static",
|
|
"lazycell",
|
|
"peeking_take_while",
|
|
"proc-macro2",
|
|
"quote",
|
|
"regex",
|
|
"rustc-hash",
|
|
"shlex",
|
|
"syn",
|
|
]
|
|
|
|
[[package]]
|
|
name = "bitflags"
|
|
version = "2.4.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "327762f6e5a765692301e5bb513e0d9fef63be86bbc14528052b1cd3e6f03e07"
|
|
|
|
[[package]]
|
|
name = "cc"
|
|
version = "1.0.83"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "f1174fb0b6ec23863f8b971027804a42614e347eafb0a95bf0b12cdae21fc4d0"
|
|
dependencies = [
|
|
"libc",
|
|
]
|
|
|
|
[[package]]
|
|
name = "cexpr"
|
|
version = "0.6.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "6fac387a98bb7c37292057cffc56d62ecb629900026402633ae9160df93a8766"
|
|
dependencies = [
|
|
"nom",
|
|
]
|
|
|
|
[[package]]
|
|
name = "cfg-if"
|
|
version = "1.0.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd"
|
|
|
|
[[package]]
|
|
name = "clang-sys"
|
|
version = "1.6.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "c688fc74432808e3eb684cae8830a86be1d66a2bd58e1f248ed0960a590baf6f"
|
|
dependencies = [
|
|
"glob",
|
|
"libc",
|
|
"libloading",
|
|
]
|
|
|
|
[[package]]
|
|
name = "cmake"
|
|
version = "0.1.50"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "a31c789563b815f77f4250caee12365734369f942439b7defd71e18a48197130"
|
|
dependencies = [
|
|
"cc",
|
|
]
|
|
|
|
[[package]]
|
|
name = "console"
|
|
version = "0.15.7"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "c926e00cc70edefdc64d3a5ff31cc65bb97a3460097762bd23afb4d8145fccf8"
|
|
dependencies = [
|
|
"encode_unicode",
|
|
"lazy_static",
|
|
"libc",
|
|
"unicode-width",
|
|
"windows-sys",
|
|
]
|
|
|
|
[[package]]
|
|
name = "crossbeam-deque"
|
|
version = "0.8.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "ce6fd6f855243022dcecf8702fef0c297d4338e226845fe067f6341ad9fa0cef"
|
|
dependencies = [
|
|
"cfg-if",
|
|
"crossbeam-epoch",
|
|
"crossbeam-utils",
|
|
]
|
|
|
|
[[package]]
|
|
name = "crossbeam-epoch"
|
|
version = "0.9.15"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "ae211234986c545741a7dc064309f67ee1e5ad243d0e48335adc0484d960bcc7"
|
|
dependencies = [
|
|
"autocfg",
|
|
"cfg-if",
|
|
"crossbeam-utils",
|
|
"memoffset",
|
|
"scopeguard",
|
|
]
|
|
|
|
[[package]]
|
|
name = "crossbeam-utils"
|
|
version = "0.8.16"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "5a22b2d63d4d1dc0b7f1b6b2747dd0088008a9be28b6ddf0b1e7d335e3037294"
|
|
dependencies = [
|
|
"cfg-if",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-01"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"nom",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-02"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"nom",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-03"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"nom",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-05"
|
|
version = "0.1.0"
|
|
dependencies = [
|
|
"itertools",
|
|
"ranges",
|
|
"rayon",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-06"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"nom",
|
|
"rayon",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-07"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"itertools",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-08"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"itertools",
|
|
"nom",
|
|
"num",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-09"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"itertools",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-10"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"itertools",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-11"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indicatif",
|
|
"indoc",
|
|
"pathfinding",
|
|
"rayon",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-12"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"nom",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-13"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"rayon",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-14"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-16"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"rayon",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-17"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"priority-queue",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-18"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-19"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"nom",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-20"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"nom",
|
|
"num",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-21"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"itertools",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-22"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"itertools",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-23"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-24"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"itertools",
|
|
"z3",
|
|
]
|
|
|
|
[[package]]
|
|
name = "day-25"
|
|
version = "0.0.0"
|
|
dependencies = [
|
|
"indoc",
|
|
"pathfinding",
|
|
]
|
|
|
|
[[package]]
|
|
name = "deprecate-until"
|
|
version = "0.1.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "7a3767f826efbbe5a5ae093920b58b43b01734202be697e1354914e862e8e704"
|
|
dependencies = [
|
|
"proc-macro2",
|
|
"quote",
|
|
"semver",
|
|
"syn",
|
|
]
|
|
|
|
[[package]]
|
|
name = "either"
|
|
version = "1.9.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "a26ae43d7bcc3b814de94796a5e736d4029efb0ee900c12e2d54c993ad1a1e07"
|
|
|
|
[[package]]
|
|
name = "encode_unicode"
|
|
version = "0.3.6"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "a357d28ed41a50f9c765dbfe56cbc04a64e53e5fc58ba79fbc34c10ef3df831f"
|
|
|
|
[[package]]
|
|
name = "equivalent"
|
|
version = "1.0.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "5443807d6dff69373d433ab9ef5378ad8df50ca6298caf15de6e52e24aaf54d5"
|
|
|
|
[[package]]
|
|
name = "fixedbitset"
|
|
version = "0.4.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "0ce7134b9999ecaf8bcd65542e436736ef32ddca1b3e06094cb6ec5755203b80"
|
|
|
|
[[package]]
|
|
name = "glob"
|
|
version = "0.3.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "d2fabcfbdc87f4758337ca535fb41a6d701b65693ce38287d856d1674551ec9b"
|
|
|
|
[[package]]
|
|
name = "hashbrown"
|
|
version = "0.12.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "8a9ee70c43aaf417c914396645a0fa852624801b24ebb7ae78fe8272889ac888"
|
|
|
|
[[package]]
|
|
name = "hashbrown"
|
|
version = "0.14.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "290f1a1d9242c78d09ce40a5e87e7554ee637af1351968159f4952f028f75604"
|
|
|
|
[[package]]
|
|
name = "indexmap"
|
|
version = "1.9.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "bd070e393353796e801d209ad339e89596eb4c8d430d18ede6a1cced8fafbd99"
|
|
dependencies = [
|
|
"autocfg",
|
|
"hashbrown 0.12.3",
|
|
]
|
|
|
|
[[package]]
|
|
name = "indexmap"
|
|
version = "2.1.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "d530e1a18b1cb4c484e6e34556a0d948706958449fca0cab753d649f2bce3d1f"
|
|
dependencies = [
|
|
"equivalent",
|
|
"hashbrown 0.14.3",
|
|
]
|
|
|
|
[[package]]
|
|
name = "indicatif"
|
|
version = "0.17.7"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "fb28741c9db9a713d93deb3bb9515c20788cef5815265bee4980e87bde7e0f25"
|
|
dependencies = [
|
|
"console",
|
|
"instant",
|
|
"number_prefix",
|
|
"portable-atomic",
|
|
"rayon",
|
|
"unicode-width",
|
|
]
|
|
|
|
[[package]]
|
|
name = "indoc"
|
|
version = "2.0.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "1e186cfbae8084e513daff4240b4797e342f988cecda4fb6c939150f96315fd8"
|
|
|
|
[[package]]
|
|
name = "instant"
|
|
version = "0.1.12"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "7a5bbe824c507c5da5956355e86a746d82e0e1464f65d862cc5e71da70e94b2c"
|
|
dependencies = [
|
|
"cfg-if",
|
|
]
|
|
|
|
[[package]]
|
|
name = "integer-sqrt"
|
|
version = "0.1.5"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "276ec31bcb4a9ee45f58bec6f9ec700ae4cf4f4f8f2fa7e06cb406bd5ffdd770"
|
|
dependencies = [
|
|
"num-traits",
|
|
]
|
|
|
|
[[package]]
|
|
name = "itertools"
|
|
version = "0.12.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "25db6b064527c5d482d0423354fcd07a89a2dfe07b67892e62411946db7f07b0"
|
|
dependencies = [
|
|
"either",
|
|
]
|
|
|
|
[[package]]
|
|
name = "lazy_static"
|
|
version = "1.4.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646"
|
|
|
|
[[package]]
|
|
name = "lazycell"
|
|
version = "1.3.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "830d08ce1d1d941e6b30645f1a0eb5643013d835ce3779a5fc208261dbe10f55"
|
|
|
|
[[package]]
|
|
name = "libc"
|
|
version = "0.2.151"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "302d7ab3130588088d277783b1e2d2e10c9e9e4a16dd9050e6ec93fb3e7048f4"
|
|
|
|
[[package]]
|
|
name = "libloading"
|
|
version = "0.7.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "b67380fd3b2fbe7527a606e18729d21c6f3951633d0500574c4dc22d2d638b9f"
|
|
dependencies = [
|
|
"cfg-if",
|
|
"winapi",
|
|
]
|
|
|
|
[[package]]
|
|
name = "log"
|
|
version = "0.4.20"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "b5e6163cb8c49088c2c36f57875e58ccd8c87c7427f7fbd50ea6710b2f3f2e8f"
|
|
|
|
[[package]]
|
|
name = "memchr"
|
|
version = "2.6.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "f665ee40bc4a3c5590afb1e9677db74a508659dfd71e126420da8274909a0167"
|
|
|
|
[[package]]
|
|
name = "memoffset"
|
|
version = "0.9.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "5a634b1c61a95585bd15607c6ab0c4e5b226e695ff2800ba0cdccddf208c406c"
|
|
dependencies = [
|
|
"autocfg",
|
|
]
|
|
|
|
[[package]]
|
|
name = "minimal-lexical"
|
|
version = "0.2.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a"
|
|
|
|
[[package]]
|
|
name = "nom"
|
|
version = "7.1.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "d273983c5a657a70a3e8f2a01329822f3b8c8172b73826411a55751e404a0a4a"
|
|
dependencies = [
|
|
"memchr",
|
|
"minimal-lexical",
|
|
]
|
|
|
|
[[package]]
|
|
name = "num"
|
|
version = "0.4.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "b05180d69e3da0e530ba2a1dae5110317e49e3b7f3d41be227dc5f92e49ee7af"
|
|
dependencies = [
|
|
"num-bigint",
|
|
"num-complex",
|
|
"num-integer",
|
|
"num-iter",
|
|
"num-rational",
|
|
"num-traits",
|
|
]
|
|
|
|
[[package]]
|
|
name = "num-bigint"
|
|
version = "0.4.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "608e7659b5c3d7cba262d894801b9ec9d00de989e8a82bd4bef91d08da45cdc0"
|
|
dependencies = [
|
|
"autocfg",
|
|
"num-integer",
|
|
"num-traits",
|
|
]
|
|
|
|
[[package]]
|
|
name = "num-complex"
|
|
version = "0.4.4"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "1ba157ca0885411de85d6ca030ba7e2a83a28636056c7c699b07c8b6f7383214"
|
|
dependencies = [
|
|
"num-traits",
|
|
]
|
|
|
|
[[package]]
|
|
name = "num-integer"
|
|
version = "0.1.45"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "225d3389fb3509a24c93f5c29eb6bde2586b98d9f016636dff58d7c6f7569cd9"
|
|
dependencies = [
|
|
"autocfg",
|
|
"num-traits",
|
|
]
|
|
|
|
[[package]]
|
|
name = "num-iter"
|
|
version = "0.1.43"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "7d03e6c028c5dc5cac6e2dec0efda81fc887605bb3d884578bb6d6bf7514e252"
|
|
dependencies = [
|
|
"autocfg",
|
|
"num-integer",
|
|
"num-traits",
|
|
]
|
|
|
|
[[package]]
|
|
name = "num-rational"
|
|
version = "0.4.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "0638a1c9d0a3c0914158145bc76cff373a75a627e6ecbfb71cbe6f453a5a19b0"
|
|
dependencies = [
|
|
"autocfg",
|
|
"num-bigint",
|
|
"num-integer",
|
|
"num-traits",
|
|
]
|
|
|
|
[[package]]
|
|
name = "num-traits"
|
|
version = "0.2.17"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "39e3200413f237f41ab11ad6d161bc7239c84dcb631773ccd7de3dfe4b5c267c"
|
|
dependencies = [
|
|
"autocfg",
|
|
]
|
|
|
|
[[package]]
|
|
name = "number_prefix"
|
|
version = "0.4.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "830b246a0e5f20af87141b25c173cd1b609bd7779a4617d6ec582abaf90870f3"
|
|
|
|
[[package]]
|
|
name = "pathfinding"
|
|
version = "4.8.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "f6f4a3f5089b981000cb50ec24320faf7a19649a45e8730e4adf49f78f066528"
|
|
dependencies = [
|
|
"deprecate-until",
|
|
"fixedbitset",
|
|
"indexmap 2.1.0",
|
|
"integer-sqrt",
|
|
"num-traits",
|
|
"rustc-hash",
|
|
"thiserror",
|
|
]
|
|
|
|
[[package]]
|
|
name = "peeking_take_while"
|
|
version = "0.1.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "19b17cddbe7ec3f8bc800887bab5e717348c95ea2ca0b1bf0837fb964dc67099"
|
|
|
|
[[package]]
|
|
name = "portable-atomic"
|
|
version = "1.6.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "7170ef9988bc169ba16dd36a7fa041e5c4cbeb6a35b76d4c03daded371eae7c0"
|
|
|
|
[[package]]
|
|
name = "priority-queue"
|
|
version = "1.3.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "fff39edfcaec0d64e8d0da38564fad195d2d51b680940295fcc307366e101e61"
|
|
dependencies = [
|
|
"autocfg",
|
|
"indexmap 1.9.3",
|
|
]
|
|
|
|
[[package]]
|
|
name = "proc-macro2"
|
|
version = "1.0.70"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "39278fbbf5fb4f646ce651690877f89d1c5811a3d4acb27700c1cb3cdb78fd3b"
|
|
dependencies = [
|
|
"unicode-ident",
|
|
]
|
|
|
|
[[package]]
|
|
name = "quote"
|
|
version = "1.0.33"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "5267fca4496028628a95160fc423a33e8b2e6af8a5302579e322e4b520293cae"
|
|
dependencies = [
|
|
"proc-macro2",
|
|
]
|
|
|
|
[[package]]
|
|
name = "ranges"
|
|
version = "0.3.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "f781d391cd4838df77e09fd26e33a87e0ac9bf2edf6ff770cfc65f83d50e3948"
|
|
|
|
[[package]]
|
|
name = "rayon"
|
|
version = "1.8.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "9c27db03db7734835b3f53954b534c91069375ce6ccaa2e065441e07d9b6cdb1"
|
|
dependencies = [
|
|
"either",
|
|
"rayon-core",
|
|
]
|
|
|
|
[[package]]
|
|
name = "rayon-core"
|
|
version = "1.12.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "5ce3fb6ad83f861aac485e76e1985cd109d9a3713802152be56c3b1f0e0658ed"
|
|
dependencies = [
|
|
"crossbeam-deque",
|
|
"crossbeam-utils",
|
|
]
|
|
|
|
[[package]]
|
|
name = "regex"
|
|
version = "1.10.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "380b951a9c5e80ddfd6136919eef32310721aa4aacd4889a8d39124b026ab343"
|
|
dependencies = [
|
|
"aho-corasick",
|
|
"memchr",
|
|
"regex-automata",
|
|
"regex-syntax",
|
|
]
|
|
|
|
[[package]]
|
|
name = "regex-automata"
|
|
version = "0.4.3"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "5f804c7828047e88b2d32e2d7fe5a105da8ee3264f01902f796c8e067dc2483f"
|
|
dependencies = [
|
|
"aho-corasick",
|
|
"memchr",
|
|
"regex-syntax",
|
|
]
|
|
|
|
[[package]]
|
|
name = "regex-syntax"
|
|
version = "0.8.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "c08c74e62047bb2de4ff487b251e4a92e24f48745648451635cec7d591162d9f"
|
|
|
|
[[package]]
|
|
name = "rustc-hash"
|
|
version = "1.1.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "08d43f7aa6b08d49f382cde6a7982047c3426db949b1424bc4b7ec9ae12c6ce2"
|
|
|
|
[[package]]
|
|
name = "scopeguard"
|
|
version = "1.2.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
|
|
|
|
[[package]]
|
|
name = "semver"
|
|
version = "1.0.20"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "836fa6a3e1e547f9a2c4040802ec865b5d85f4014efe00555d7090a3dcaa1090"
|
|
|
|
[[package]]
|
|
name = "shlex"
|
|
version = "1.2.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "a7cee0529a6d40f580e7a5e6c495c8fbfe21b7b52795ed4bb5e62cdf92bc6380"
|
|
|
|
[[package]]
|
|
name = "syn"
|
|
version = "2.0.40"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "13fa70a4ee923979ffb522cacce59d34421ebdea5625e1073c4326ef9d2dd42e"
|
|
dependencies = [
|
|
"proc-macro2",
|
|
"quote",
|
|
"unicode-ident",
|
|
]
|
|
|
|
[[package]]
|
|
name = "thiserror"
|
|
version = "1.0.51"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "f11c217e1416d6f036b870f14e0413d480dbf28edbee1f877abaf0206af43bb7"
|
|
dependencies = [
|
|
"thiserror-impl",
|
|
]
|
|
|
|
[[package]]
|
|
name = "thiserror-impl"
|
|
version = "1.0.51"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "01742297787513b79cf8e29d1056ede1313e2420b7b3b15d0a768b4921f549df"
|
|
dependencies = [
|
|
"proc-macro2",
|
|
"quote",
|
|
"syn",
|
|
]
|
|
|
|
[[package]]
|
|
name = "unicode-ident"
|
|
version = "1.0.12"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "3354b9ac3fae1ff6755cb6db53683adb661634f67557942dea4facebec0fee4b"
|
|
|
|
[[package]]
|
|
name = "unicode-width"
|
|
version = "0.1.11"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "e51733f11c9c4f72aa0c160008246859e340b00807569a0da0e7a1079b27ba85"
|
|
|
|
[[package]]
|
|
name = "winapi"
|
|
version = "0.3.9"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "5c839a674fcd7a98952e593242ea400abe93992746761e38641405d28b00f419"
|
|
dependencies = [
|
|
"winapi-i686-pc-windows-gnu",
|
|
"winapi-x86_64-pc-windows-gnu",
|
|
]
|
|
|
|
[[package]]
|
|
name = "winapi-i686-pc-windows-gnu"
|
|
version = "0.4.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "ac3b87c63620426dd9b991e5ce0329eff545bccbbb34f3be09ff6fb6ab51b7b6"
|
|
|
|
[[package]]
|
|
name = "winapi-x86_64-pc-windows-gnu"
|
|
version = "0.4.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "712e227841d057c1ee1cd2fb22fa7e5a5461ae8e48fa2ca79ec42cfc1931183f"
|
|
|
|
[[package]]
|
|
name = "windows-sys"
|
|
version = "0.45.0"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "75283be5efb2831d37ea142365f009c02ec203cd29a3ebecbc093d52315b66d0"
|
|
dependencies = [
|
|
"windows-targets",
|
|
]
|
|
|
|
[[package]]
|
|
name = "windows-targets"
|
|
version = "0.42.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "8e5180c00cd44c9b1c88adb3693291f1cd93605ded80c250a75d472756b4d071"
|
|
dependencies = [
|
|
"windows_aarch64_gnullvm",
|
|
"windows_aarch64_msvc",
|
|
"windows_i686_gnu",
|
|
"windows_i686_msvc",
|
|
"windows_x86_64_gnu",
|
|
"windows_x86_64_gnullvm",
|
|
"windows_x86_64_msvc",
|
|
]
|
|
|
|
[[package]]
|
|
name = "windows_aarch64_gnullvm"
|
|
version = "0.42.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "597a5118570b68bc08d8d59125332c54f1ba9d9adeedeef5b99b02ba2b0698f8"
|
|
|
|
[[package]]
|
|
name = "windows_aarch64_msvc"
|
|
version = "0.42.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "e08e8864a60f06ef0d0ff4ba04124db8b0fb3be5776a5cd47641e942e58c4d43"
|
|
|
|
[[package]]
|
|
name = "windows_i686_gnu"
|
|
version = "0.42.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "c61d927d8da41da96a81f029489353e68739737d3beca43145c8afec9a31a84f"
|
|
|
|
[[package]]
|
|
name = "windows_i686_msvc"
|
|
version = "0.42.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "44d840b6ec649f480a41c8d80f9c65108b92d89345dd94027bfe06ac444d1060"
|
|
|
|
[[package]]
|
|
name = "windows_x86_64_gnu"
|
|
version = "0.42.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "8de912b8b8feb55c064867cf047dda097f92d51efad5b491dfb98f6bbb70cb36"
|
|
|
|
[[package]]
|
|
name = "windows_x86_64_gnullvm"
|
|
version = "0.42.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "26d41b46a36d453748aedef1486d5c7a85db22e56aff34643984ea85514e94a3"
|
|
|
|
[[package]]
|
|
name = "windows_x86_64_msvc"
|
|
version = "0.42.2"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "9aec5da331524158c6d1a4ac0ab1541149c0b9505fde06423b02f5ef0106b9f0"
|
|
|
|
[[package]]
|
|
name = "z3"
|
|
version = "0.12.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "4a7ff5718c079e7b813378d67a5bed32ccc2086f151d6185074a7e24f4a565e8"
|
|
dependencies = [
|
|
"log",
|
|
"z3-sys",
|
|
]
|
|
|
|
[[package]]
|
|
name = "z3-sys"
|
|
version = "0.8.1"
|
|
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
checksum = "d7cf70fdbc0de3f42b404f49b0d4686a82562254ea29ff0a155eef2f5430f4b0"
|
|
dependencies = [
|
|
"bindgen",
|
|
"cmake",
|
|
]
|