{"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}
{"name":"libpetri","vers":"3.6.0","deps":[{"name":"libpetri-core","req":"^3.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.6.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.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":"eca675c3bed1b4d332452f5e8c9b7b6f9fe4e591095afa33fc4bb549136001aa","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-14T09:00:47Z","v":2}
{"name":"libpetri","vers":"3.7.0","deps":[{"name":"libpetri-core","req":"^3.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^3.7.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^3.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^3.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^3.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^3.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":"f63c67e500e5e413a7a490efcae529c68dc3be47cfec87cc0501ef042ea11bd7","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-08-03T14:15:56Z","v":2}
{"name":"libpetri","vers":"4.0.0","deps":[{"name":"libpetri-core","req":"^4.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^4.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^4.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^4.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^4.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^4.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^4.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":"d4e384c92e241f0cf8af741d7cc574d323b68ed2c0b68728404602bdb3aab049","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-08-17T12:18:57Z","v":2}
{"name":"libpetri","vers":"4.0.1","deps":[{"name":"libpetri-core","req":"^4.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^4.0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^4.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^4.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^4.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^4.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^4.0.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":"384cb8134411476d911823a64bf8deab75841e87c6e7031e81c4aba617af5436","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-08-20T19:02:54Z","v":2}
{"name":"libpetri","vers":"4.1.0","deps":[{"name":"libpetri-core","req":"^4.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^4.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^4.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^4.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^4.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^4.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^4.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":"daa3c8cb473f1308380a9070d66555c8cf6ef390cf944167dfa18779a141ee25","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-09-03T07:23:33Z","v":2}
{"name":"libpetri","vers":"4.2.0","deps":[{"name":"libpetri-core","req":"^4.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^4.2.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^4.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^4.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^4.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^4.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^4.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":"c44edbc8545313eac0a0dd9dbe4c1b65490f3bcf7bd53fc3a8ae810071a78759","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-09-04T07:31:07Z","v":2}
{"name":"libpetri","vers":"5.0.0","deps":[{"name":"libpetri-core","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^5.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^5.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":"8ce7d7f6198bfe209189ef3e3ee2a01e53d758a26ea32984859470923e335aea","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-09-07T07:59:21Z","v":2}
{"name":"libpetri","vers":"5.1.0","deps":[{"name":"libpetri-core","req":"^5.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^5.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^5.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^5.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^5.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^5.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^5.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":"093d218a5ac6242216fe25f57535b26dc2e2760528737456cfca9d186eb9318a","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-09-09T18:20:02Z","v":2}
{"name":"libpetri","vers":"6.0.0","deps":[{"name":"libpetri-core","req":"^6.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^6.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^6.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^6.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^6.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^6.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^6.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":"9172541a7f32fe39201282e286082b4f06b1902864384e29a5f163f78cbf6fc5","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-09-17T12:36:48Z","v":2}
{"name":"libpetri","vers":"7.0.0","deps":[{"name":"libpetri-core","req":"^7.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^7.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^7.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^7.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^7.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^7.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^7.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":"6a8d70e6cce22de0531548fc444471b97e4944c9c4e5cd3b68e03a6f4db3c7bc","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-09-21T06:52:19Z","v":2}
{"name":"libpetri","vers":"8.0.0","deps":[{"name":"libpetri-core","req":"^8.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^8.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^8.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^8.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^8.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^8.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^8.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":"7d1b15e46fa552b0b64121eca3db5f0e0a7507282afc948d4dac95c4f6ef0348","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-09-25T09:02:47Z","v":2}
{"name":"libpetri","vers":"9.0.0","deps":[{"name":"libpetri-core","req":"^9.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^9.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^9.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^9.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^9.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^9.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^9.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":"d4a872c467ddd2a97d78bbd3c5c096753ffda632c75451307b89b88dcc1b91be","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-09-30T17:02:33Z","v":2}
{"name":"libpetri","vers":"10.0.0","deps":[{"name":"libpetri-core","req":"^10.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^10.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^10.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^10.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^10.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^10.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^10.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":"e70259212fa4436dcf3f9bae753dcf0482e1d5afc250682f289889e10bb60eba","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-10-05T14:17:12Z","v":2}
{"name":"libpetri","vers":"10.1.0","deps":[{"name":"libpetri-core","req":"^10.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^10.1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^10.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^10.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^10.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^10.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^10.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":"5a760db88ed1085cbf2e8ce0adebaf7f7d385f9eae62bc3a334af96e43a260f2","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-10-06T07:04:13Z","v":2}
{"name":"libpetri","vers":"11.0.0","deps":[{"name":"libpetri-core","req":"^11.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^11.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^11.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^11.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^11.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^11.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^11.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":"e06ca7b18b1d46f9a92663e82b66850533eed78ae5eec9b807449dc0d2fd2db1","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-10-08T19:11:18Z","v":2}
{"name":"libpetri","vers":"11.0.1","deps":[{"name":"libpetri-core","req":"^11.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-debug","req":"^11.0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^11.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"libpetri-event","req":"^11.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-export","req":"^11.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-runtime","req":"^11.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-verification","req":"^11.0.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":"139b7cec53dec4b39bca5b8d1514708ac95fe17dc0a48b9aa35cf6f292edf9e4","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-11-03T14:33:06Z","v":2}