libpetri 1.5.1

Coloured Time Petri Net engine with formal verification
Documentation
# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "crossbeam-channel"
version = "0.5.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "82b8f8f868b36967f9606790d1903570de9ceaf870a7bf9fbbd3016d636a2cb2"
dependencies = [
 "crossbeam-utils",
]

[[package]]
name = "crossbeam-utils"
version = "0.8.21"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d0a5c400df2834b80a4c3327b3aad3a4c4cd4de0629063962b03235697506a28"

[[package]]
name = "itoa"
version = "1.0.18"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682"

[[package]]
name = "libpetri"
version = "1.5.1"
dependencies = [
 "libpetri-core",
 "libpetri-debug",
 "libpetri-docgen",
 "libpetri-event",
 "libpetri-export",
 "libpetri-runtime",
 "libpetri-verification",
 "tokio",
]

[[package]]
name = "libpetri-core"
version = "1.5.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8be03a1927d742b413f05b4c9f668fa4bac74d208c5f4102ae4d1ed3d133fb51"

[[package]]
name = "libpetri-debug"
version = "1.5.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e65feb4df92b66e309e5501ad42f45f38bcfb142cef343f608a2a1d66716ed80"
dependencies = [
 "crossbeam-channel",
 "libpetri-core",
 "libpetri-event",
 "libpetri-export",
 "serde",
 "serde_json",
]

[[package]]
name = "libpetri-docgen"
version = "1.5.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "cd962d049af87d4d4c7a31868411387f7bc09d715f71769d77573fe7b938658f"
dependencies = [
 "libpetri-core",
 "libpetri-export",
]

[[package]]
name = "libpetri-event"
version = "1.5.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ed5d908440ce742c207536749b2f4655311355985a795691e05b9e46fb23b03b"

[[package]]
name = "libpetri-export"
version = "1.5.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "230545fd2e1515afb28a368b78881479c89e566446a10653292f7fd52c5e9bf5"
dependencies = [
 "libpetri-core",
]

[[package]]
name = "libpetri-runtime"
version = "1.5.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5a3b5c17dd3490118bdc9cffd2b48ad66c7639af2463f5d96010afb551410729"
dependencies = [
 "libpetri-core",
 "libpetri-docgen",
 "libpetri-event",
 "tokio",
]

[[package]]
name = "libpetri-verification"
version = "1.5.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f49b95e26e8ffe00cd8baf1abac1893de7b3952407424789ea2dc1f5b6d6c22e"
dependencies = [
 "libpetri-core",
 "libpetri-docgen",
]

[[package]]
name = "memchr"
version = "2.8.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f8ca58f447f06ed17d5fc4043ce1b10dd205e060fb3ce5b979b8ed8e59ff3f79"

[[package]]
name = "pin-project-lite"
version = "0.2.17"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a89322df9ebe1c1578d689c92318e070967d1042b512afbe49518723f4e6d5cd"

[[package]]
name = "proc-macro2"
version = "1.0.106"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8fd00f0bb2e90d81d1044c2b32617f68fcb9fa3bb7640c23e9c748e53fb30934"
dependencies = [
 "unicode-ident",
]

[[package]]
name = "quote"
version = "1.0.45"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "41f2619966050689382d2b44f664f4bc593e129785a36d6ee376ddf37259b924"
dependencies = [
 "proc-macro2",
]

[[package]]
name = "serde"
version = "1.0.228"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9a8e94ea7f378bd32cbbd37198a4a91436180c5bb472411e48b5ec2e2124ae9e"
dependencies = [
 "serde_core",
 "serde_derive",
]

[[package]]
name = "serde_core"
version = "1.0.228"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "41d385c7d4ca58e59fc732af25c3983b67ac852c1a25000afe1175de458b67ad"
dependencies = [
 "serde_derive",
]

[[package]]
name = "serde_derive"
version = "1.0.228"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d540f220d3187173da220f885ab66608367b6574e925011a9353e4badda91d79"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "serde_json"
version = "1.0.149"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "83fc039473c5595ace860d8c4fafa220ff474b3fc6bfdb4293327f1a37e94d86"
dependencies = [
 "itoa",
 "memchr",
 "serde",
 "serde_core",
 "zmij",
]

[[package]]
name = "syn"
version = "2.0.117"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e665b8803e7b1d2a727f4023456bbbbe74da67099c585258af0ad9c5013b9b99"
dependencies = [
 "proc-macro2",
 "quote",
 "unicode-ident",
]

[[package]]
name = "tokio"
version = "1.50.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "27ad5e34374e03cfffefc301becb44e9dc3c17584f414349ebe29ed26661822d"
dependencies = [
 "pin-project-lite",
 "tokio-macros",
]

[[package]]
name = "tokio-macros"
version = "2.6.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5c55a2eff8b69ce66c84f85e1da1c233edc36ceb85a2058d11b0d6a3c7e7569c"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "unicode-ident"
version = "1.0.24"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"

[[package]]
name = "zmij"
version = "1.0.21"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b8848ee67ecc8aedbaf3e4122217aff892639231befc6a1b58d29fff4c2cabaa"