{"name":"libpetri","vers":"1.3.1","deps":[{"name":"libpetri-core","req":"^1.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.3.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"311bc3fe761578f736cd449a007a81269b688645461bb1c7495d398e21fdb034","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-11T09:54:10Z","v":2}
{"name":"libpetri","vers":"1.3.2","deps":[{"name":"libpetri-core","req":"^1.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.3.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"d85fed2a424840e3dfefcdc29eb8d1b5789adc44d91470f99773f92b7bedd778","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-11T18:17:32Z","v":2}
{"name":"libpetri","vers":"1.3.3","deps":[{"name":"libpetri-core","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"7fffb74fa2c0d57a7f0c4b429f77536e573ab50b4bb3150742f11c856d5dedbc","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-12T11:14:34Z","v":2}
{"name":"libpetri","vers":"1.3.4","deps":[{"name":"libpetri-core","req":"^1.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.3.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"f38a697661448810da281e7203b04b6170216b66b1e8656f42c1b374d9591b42","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-12T11:25:13Z","v":2}
{"name":"libpetri","vers":"1.3.5","deps":[{"name":"libpetri-core","req":"^1.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.3.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"441730c406df67b0a548cff4e8e2b94a78fbcc18eb05e4b8fe33c3816e58e345","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-18T10:41:09Z","v":2}
{"name":"libpetri","vers":"1.4.0","deps":[{"name":"libpetri-core","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.4.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"1ff55e92ab15c7c5dbd40e1f5ec886bf20da8c4fd4bba45aed103b1f85c4e7f4","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-18T14:15:56Z","v":2}
{"name":"libpetri","vers":"1.5.0","deps":[{"name":"libpetri-core","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.5.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"e0aa121c6eff5884c19df2b632054c7cc9889777846d1efa231c18759b255b5e","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-30T08:36:22Z","v":2}
{"name":"libpetri","vers":"1.5.1","deps":[{"name":"libpetri-core","req":"^1.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.5.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"02a4f9ed67a9e03295006a5200b1f5487b5f0a2a1065268aa95ee5380c9a329b","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-04-01T17:54:54Z","v":2}
{"name":"libpetri","vers":"1.7.0","deps":[{"name":"libpetri-core","req":"^1.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.7.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"0c6cd9b368d0d11fc172559054fb16d24a2f061e67145929a07e93563e3e4431","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-04-15T18:34:21Z","v":2}
{"name":"libpetri","vers":"1.8.0","deps":[{"name":"libpetri-core","req":"^1.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.8.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"e3058ebb96aa7d5d154dc2c765bc5d99bfe682ec41b10de0d65f63c21e9257c1","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-04-20T07:28:08Z","v":2}
{"name":"libpetri","vers":"1.8.1","deps":[{"name":"libpetri-core","req":"^1.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.8.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"57b5d91d09d671ecd6efe70be70786b2a288e0fde9903d652262f28ccd1cad9d","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-04-22T17:50:45Z","v":2}
{"name":"libpetri","vers":"1.8.2","deps":[{"name":"libpetri-core","req":"^1.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.8.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"03eb1f43fc0cfeefcff378ed9f7f6b958362f6ec0a717dc39d16635cd4a869c0","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-04-23T06:52:27Z","v":2}
{"name":"libpetri","vers":"1.8.3","deps":[{"name":"libpetri-core","req":"^1.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.8.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"4060e180a127f5b3fa163e4a7dc599398496b999d43a218aab5cf3968db200ba","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-04-30T06:41:18Z","v":2}
{"name":"libpetri","vers":"1.8.4","deps":[{"name":"libpetri-core","req":"^1.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^1.8.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^1.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^1.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^1.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^1.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"4a3761b8af56b49df99c063391488e73abda74b0ee4bbff50f624b57a2b01722","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-06T09:39:03Z","v":2}
{"name":"libpetri","vers":"2.0.0","deps":[{"name":"libpetri-core","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^2.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"921d5edc1519eeb12f9f7f3d15cd000e978fa02bad2e173e74817ad163d834d5","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-18T10:08:13Z","v":2}
{"name":"libpetri","vers":"2.1.0","deps":[{"name":"libpetri-core","req":"^2.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^2.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^2.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^2.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^2.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^2.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"70a0aeb87f1133eef85157cd9fd13c7d3c82657fff85fd69eefc03a2085478c2","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-19T06:26:25Z","v":2}
{"name":"libpetri","vers":"2.3.0","deps":[{"name":"libpetri-core","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^2.3.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"8bf2b9b74d7dc98117373b59d259e1d458eeb7c8c405783c02d5abc560b371da","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-19T14:36:22Z","v":2}
{"name":"libpetri","vers":"2.3.1","deps":[{"name":"libpetri-core","req":"^2.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^2.3.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^2.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^2.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^2.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^2.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"b8d14e855cb23f79c06ce5020701dcdd7b9b92f3d3e36b2cf7bd875a87390d55","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-19T19:05:22Z","v":2}
{"name":"libpetri","vers":"2.3.2","deps":[{"name":"libpetri-core","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^2.3.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"4a1a886d9feff8b53920cdb66f224e81fc167a602e5f742b6d13d681d9d5aad4","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-20T13:38:29Z","v":2}
{"name":"libpetri","vers":"2.4.0","deps":[{"name":"libpetri-core","req":"^2.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^2.4.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^2.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^2.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^2.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^2.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"a46257cea05213f42f2d26a5b36b5f4a6e29bc551176b1518ea4973d1e7d7426","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-20T15:36:01Z","v":2}
{"name":"libpetri","vers":"2.5.0","deps":[{"name":"libpetri-core","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^2.5.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"7d7471e5414fd1acf7a3bf24fd217c0af22037af3fbd4c2129031edd66afa210","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-21T06:51:00Z","v":2}
{"name":"libpetri","vers":"2.6.0","deps":[{"name":"libpetri-core","req":"^2.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^2.6.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^2.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^2.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^2.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^2.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"78ec6276257f47fec4c684f1a3651e4149a5bff38dae393c6a25757fd3c20d0f","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-28T08:33:02Z","v":2}
{"name":"libpetri","vers":"3.0.0","deps":[{"name":"libpetri-core","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"f5771e94992e7dd81b7d11b12878ee2dfb79f89309c009bfc8ac70d4bce90233","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"archive":["debug","libpetri-debug/archive"],"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-01T08:37:01Z","v":2}
{"name":"libpetri","vers":"3.1.0","deps":[{"name":"libpetri-core","req":"^3.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"56b795bf0896f2c3ff41eba53c5fd0ba82a60145b147f350f3ed98bbbaaeba3e","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"archive":["debug","libpetri-debug/archive"],"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-03T07:52:19Z","v":2}
{"name":"libpetri","vers":"3.1.1","deps":[{"name":"libpetri-core","req":"^3.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.1.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"8dc76c77491311f061876dba79c8b07ea84c14cf6bc89cf8fb9a4beaa93e6589","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"archive":["debug","libpetri-debug/archive"],"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-05T08:01:46Z","v":2}
{"name":"libpetri","vers":"3.2.0","deps":[{"name":"libpetri-core","req":"^3.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"5e02b4cb051fdf4c18f07448b4bcee5120abbf37b7c43faf8b16a04b7776d159","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"archive":["debug","libpetri-debug/archive"],"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-09T20:56:36Z","v":2}
{"name":"libpetri","vers":"3.3.0","deps":[{"name":"libpetri-core","req":"^3.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.3.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"51f15979fe26af19ee874829678e6d273f2f5e08eb06192ac866217bc5c83643","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"archive":["debug","libpetri-debug/archive"],"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-10T13:06:41Z","v":2}
{"name":"libpetri","vers":"3.4.0","deps":[{"name":"libpetri-core","req":"^3.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.4.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"2b3d5852dcffcfbdd17d58c17c46ab3a6c49944c58f99a3680db767788731933","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"archive":["debug","libpetri-debug/archive"],"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-11T12:33:14Z","v":2}
{"name":"libpetri","vers":"3.4.1","deps":[{"name":"libpetri-core","req":"^3.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.4.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"2229906745060f7a5dad3656cf857702577275ca3bcece8469c6e922e5c304ac","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"archive":["debug","libpetri-debug/archive"],"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-26T08:31:34Z","v":2}
{"name":"libpetri","vers":"3.4.2","deps":[{"name":"libpetri-core","req":"^3.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.4.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"59aa4a6e1ef665d7d489f5dbf34a55ab57a76ec524a0652f024d29f312ad1e11","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"archive":["debug","libpetri-debug/archive"],"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-26T09:45:50Z","v":2}
{"name":"libpetri","vers":"3.4.3","deps":[{"name":"libpetri-core","req":"^3.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"7dc59fb85176d0c8baaa7045ac4814ff8ba884b100545cb8b6da7554d31216bd","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"archive":["debug","libpetri-debug/archive"],"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-07-01T18:13:00Z","v":2}
{"name":"libpetri","vers":"3.4.4","deps":[{"name":"libpetri-core","req":"^3.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.4.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"b607ad5e255deabe85fdfe69057b386de7e283dd31ebcca14e9ad1b81517a040","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"archive":["debug","libpetri-debug/archive"],"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-07-02T10:18:02Z","v":2}
{"name":"libpetri","vers":"3.4.5","deps":[{"name":"libpetri-core","req":"^3.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.4.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"1e93f58873dc17ee5df2fe92e9d131b2dc69391aae78cc9ca44e9a92b5489b70","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"archive":["debug","libpetri-debug/archive"],"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-07-08T17:36:31Z","v":2}
{"name":"libpetri","vers":"3.5.0","deps":[{"name":"libpetri-core","req":"^3.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.5.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt","rt-multi-thread","time","sync","macros"],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"d7fe55d4059fdcaf07b247626e4c8ea87beb77f8a9039c0272899eff8b956ca3","features":{"default":[],"tokio":["libpetri-runtime/tokio"],"z3":["libpetri-verification/z3"]},"features2":{"archive":["debug","libpetri-debug/archive"],"debug":["dep:libpetri-debug"]},"yanked":false,"rust_version":"1.88","pubtime":"2026-07-09T17:42:59Z","v":2}