libpetri 1.5.0

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.5.0"
dependencies = [
 "libpetri-core",
 "libpetri-debug",
 "libpetri-docgen",
 "libpetri-event",
 "libpetri-export",
 "libpetri-runtime",
 "libpetri-verification",
 "tokio",
]

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

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

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

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

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

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

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