{"name":"libpetri-verification","vers":"1.3.1","deps":[{"name":"libpetri-core","req":"^1.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bbc5c33e00b23d66c67546993879a09f6c99709404eef6c1a01083a2e6c5b044","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-11T09:24:57Z"}
{"name":"libpetri-verification","vers":"1.3.2","deps":[{"name":"libpetri-core","req":"^1.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"eb71f2f502d1351f51e560bf4d322faebb5d3571e888b6313320d9fa9e424211","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-11T17:57:31Z"}
{"name":"libpetri-verification","vers":"1.3.3","deps":[{"name":"libpetri-core","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"cc7f1918bf6012384c02e05e7fc55b13350efe237358d654dd7ad19e85e7f7ff","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-12T11:13:52Z"}
{"name":"libpetri-verification","vers":"1.3.4","deps":[{"name":"libpetri-core","req":"^1.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"f4725d4d3aff9c0a4965292c213dadbee82ea83beb06a1d21cc1b465e68c88da","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-12T11:24:32Z"}
{"name":"libpetri-verification","vers":"1.3.5","deps":[{"name":"libpetri-core","req":"^1.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"eb58b6bbe17988a2aace6795e33c82ad4225f053e0a3551bb9f999c78cc515f1","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-18T10:40:22Z"}
{"name":"libpetri-verification","vers":"1.4.0","deps":[{"name":"libpetri-core","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"47983d8cf2991237aad988154ea3cb6fb9db619ea436c3329fc27fcff5fb03e3","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-18T14:15:17Z"}
{"name":"libpetri-verification","vers":"1.5.0","deps":[{"name":"libpetri-core","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"e09f51de110feb1a17aa2dc5881ac396b23d3fcec3b6dd1fff113a385b99151d","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-03-30T08:35:42Z"}
{"name":"libpetri-verification","vers":"1.5.1","deps":[{"name":"libpetri-core","req":"^1.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"f49b95e26e8ffe00cd8baf1abac1893de7b3952407424789ea2dc1f5b6d6c22e","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-04-01T17:54:09Z"}
{"name":"libpetri-verification","vers":"1.7.0","deps":[{"name":"libpetri-core","req":"^1.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"4a7d7d46d071c50bc0328c0bbbea56d8db384adabfe24739f4ad4ff03ded35bc","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-04-15T18:33:41Z"}
{"name":"libpetri-verification","vers":"1.8.0","deps":[{"name":"libpetri-core","req":"^1.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.8.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"d164c9f76722a2abd8085a18fcc565254f13331762980928a72070b6bfd7b8b3","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-04-20T07:27:26Z"}
{"name":"libpetri-verification","vers":"1.8.1","deps":[{"name":"libpetri-core","req":"^1.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.8.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"29330fd5ab0a5fc9b0417cb1e3d37bb055a007cdf3c7d8d6c7d785381475da9d","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-04-22T17:50:03Z"}
{"name":"libpetri-verification","vers":"1.8.2","deps":[{"name":"libpetri-core","req":"^1.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"e8f5150d5ba219656deed8146350a29cd434ed0db2bf6b5f257ea82a3f61774b","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-04-23T06:51:46Z"}
{"name":"libpetri-verification","vers":"1.8.3","deps":[{"name":"libpetri-core","req":"^1.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"22684a1a1a7e106979a09728f409a750c90e443d4f1b6af4d07131df7c7e0e7f","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-04-30T06:40:37Z"}
{"name":"libpetri-verification","vers":"1.8.4","deps":[{"name":"libpetri-core","req":"^1.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^1.8.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"e4194e91b3de6a7b2103d704c62615141f77e55e658533b8fa1631cd307fe602","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-06T09:38:23Z"}
{"name":"libpetri-verification","vers":"2.0.0","deps":[{"name":"libpetri-core","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"3e8338b9d0a63100499ad03fcaea422a0a30f410f382017ead9e2f33e9e5abab","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-18T10:07:30Z"}
{"name":"libpetri-verification","vers":"2.1.0","deps":[{"name":"libpetri-core","req":"^2.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"0c206198d6e30b4663fe2011ba1f503e29d75bcf7bdd87846669912bbefc8bd3","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-19T06:25:43Z"}
{"name":"libpetri-verification","vers":"2.3.0","deps":[{"name":"libpetri-core","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"96b6758ecc40afd91f6ec9383342c45eb22f4be6555746ac72e89f674fdc4cb3","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-19T14:35:41Z"}
{"name":"libpetri-verification","vers":"2.3.1","deps":[{"name":"libpetri-core","req":"^2.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"845b1c857d53b31d6a7834989a597aafd951157faa24fb6473ce63ebb816abb3","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-19T19:04:41Z"}
{"name":"libpetri-verification","vers":"2.3.2","deps":[{"name":"libpetri-core","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"8601e9d00339bef5dffa012062bd52713f8ea3510bec9faf4d5691697caff755","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-20T13:37:47Z"}
{"name":"libpetri-verification","vers":"2.4.0","deps":[{"name":"libpetri-core","req":"^2.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"2749830a774641e93e8c640fa572d8e1b38c892d1e90adc65657521c53d67bf2","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-20T15:35:20Z"}
{"name":"libpetri-verification","vers":"2.5.0","deps":[{"name":"libpetri-core","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"cae5f59bcbce2328d27b268c85bb53bf99f34cb57a511d2a13975591c1f7c67b","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-21T06:50:19Z"}
{"name":"libpetri-verification","vers":"2.6.0","deps":[{"name":"libpetri-core","req":"^2.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^2.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"9693845afdcd2d11617dda3a4906d2e5061419973e77bba34e4648aff198f19a","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-05-28T08:32:21Z"}
{"name":"libpetri-verification","vers":"3.0.0","deps":[{"name":"libpetri-core","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"f0a00e3190962109ce9552403c1f63a0e1a00448349b87b226e6ab5c854a74f1","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-01T08:36:21Z"}
{"name":"libpetri-verification","vers":"3.1.0","deps":[{"name":"libpetri-core","req":"^3.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"3ccfaa5becd4d2bd5ad757ecd550b13f4103ce9453f3566b5e599f02b5a5c47e","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-03T07:51:40Z"}
{"name":"libpetri-verification","vers":"3.1.1","deps":[{"name":"libpetri-core","req":"^3.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"d569aabc2cfc17fef193d4d56158ae1b8d1ff98c7404a5541e28ad222fcd92eb","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-05T08:01:05Z"}
{"name":"libpetri-verification","vers":"3.2.0","deps":[{"name":"libpetri-core","req":"^3.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"96195716ebea9b3c395ba550676db984422d285693492ff3920a3aa6398604cd","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-09T20:55:55Z"}
{"name":"libpetri-verification","vers":"3.3.0","deps":[{"name":"libpetri-core","req":"^3.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"ea45b1725eac6bb3a416526ca009c19a4952352f6dc90a3669f823c614d72bc8","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-10T13:06:00Z"}
{"name":"libpetri-verification","vers":"3.4.0","deps":[{"name":"libpetri-core","req":"^3.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"b7aa21e5716b6d0d662110cff861718f4cc6155dccc920c1a68d557eadc70849","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-11T12:32:34Z"}
{"name":"libpetri-verification","vers":"3.4.1","deps":[{"name":"libpetri-core","req":"^3.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"3d5b1b0c98a13aaacc72af12b6be8dc55d6293907b8c95462951306a58bfb277","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-26T08:30:51Z"}
{"name":"libpetri-verification","vers":"3.4.2","deps":[{"name":"libpetri-core","req":"^3.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"d8f11dd55cacd4c547d8c9b173c95cd20cab567f7a538aff2df12a7e85bac722","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-06-26T09:45:11Z"}
{"name":"libpetri-verification","vers":"3.4.3","deps":[{"name":"libpetri-core","req":"^3.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"3c1647a917b72ee31f0af0e885e44eef7f803b54459119e52373b7939136ec8d","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-07-01T18:12:18Z"}
{"name":"libpetri-verification","vers":"3.4.4","deps":[{"name":"libpetri-core","req":"^3.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"d5275dfdec375d43cd9612976cdddde818a2d525a7eee966b5bffa7e5d93ec82","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-07-02T10:17:20Z"}
{"name":"libpetri-verification","vers":"3.4.5","deps":[{"name":"libpetri-core","req":"^3.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"6f13cb47d0413779b63714202f688a6baf29e541eded300e49a758d858dbabdb","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-07-08T17:35:50Z"}
{"name":"libpetri-verification","vers":"3.5.0","deps":[{"name":"libpetri-core","req":"^3.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"f4e07d36867bc63c3f3a117e5c9d80ca57970ddbb5b3bd3d50b43c96f8a55b07","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-07-09T17:42:18Z"}