libpetri 1.3.5

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.17"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "92ecc6618181def0457392ccd0ee51198e065e016d1d527a7ac1b6dc7c1f09d2"

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

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

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

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

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

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

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

[[package]]
name = "libpetri-verification"
version = "1.3.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "eb58b6bbe17988a2aace6795e33c82ad4225f053e0a3551bb9f999c78cc515f1"
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"