{"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"}
{"name":"libpetri-verification","vers":"3.6.0","deps":[{"name":"libpetri-core","req":"^3.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"59a7e3784a4ce1c8bf21bc39c0710b22548567d908d916ecf6637cc435ea251e","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-07-14T09:00:07Z"}
{"name":"libpetri-verification","vers":"3.7.0","deps":[{"name":"libpetri-core","req":"^3.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^3.7.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"345175eada6311191cf9a29ea224be3a00aa136f78f1ba7bec79688d4f289e04","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-08-03T14:15:12Z"}
{"name":"libpetri-verification","vers":"4.0.0","deps":[{"name":"libpetri-core","req":"^4.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^4.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"53708a8862c2e73b4d6adc10f3927facd09bdc4da31ed1cba05350e4e05d93a3","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-08-17T12:18:15Z"}
{"name":"libpetri-verification","vers":"4.0.1","deps":[{"name":"libpetri-core","req":"^4.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^4.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"dab6e21447c5eaaa2f76c78bedfb0b1e33102d3cbbda2ba64cdcfbf0b33ea5b6","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-08-20T19:02:01Z"}
{"name":"libpetri-verification","vers":"4.1.0","deps":[{"name":"libpetri-core","req":"^4.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^4.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"427dba2138ffa39dc3bb08b0279df1f520f93a2a56684364342114c8443fc7ff","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-09-03T07:22:47Z"}
{"name":"libpetri-verification","vers":"4.2.0","deps":[{"name":"libpetri-core","req":"^4.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^4.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"82d3a61a31da1063bba96a7f1f1832645ea9da9a47e9c6e83cb648fad33d7ddd","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-09-04T07:30:24Z"}
{"name":"libpetri-verification","vers":"5.0.0","deps":[{"name":"libpetri-core","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^5.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"98abe0102e123a1dc8f8b556e7235b18e3b213f81a97289866150843e3b8ff31","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-09-07T07:58:39Z"}
{"name":"libpetri-verification","vers":"5.1.0","deps":[{"name":"libpetri-core","req":"^5.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^5.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"4155b1da839188c9330557968a30f7713e7c89708f355f537ef1685bea508d42","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-09-09T18:19:21Z"}
{"name":"libpetri-verification","vers":"6.0.0","deps":[{"name":"libpetri-core","req":"^6.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^6.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"d06ad2d1e11772ec57547a29060bdbaac73435aad47fcb5e7a0212d73d0c94e9","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-09-17T12:36:05Z"}
{"name":"libpetri-verification","vers":"7.0.0","deps":[{"name":"libpetri-core","req":"^7.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^7.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"2577503372b8b443705823de4396819419e048a771e8947804e8a0d57fa556c6","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-09-21T06:51:35Z"}
{"name":"libpetri-verification","vers":"8.0.0","deps":[{"name":"libpetri-core","req":"^8.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^8.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"e644d215896d848faec9339025c5576fb9add5bbcf656aa712c7dc05cf35b982","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-09-25T09:02:06Z"}
{"name":"libpetri-verification","vers":"9.0.0","deps":[{"name":"libpetri-core","req":"^9.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^9.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"38e7daf904af95af26d744f0c41da78a504225bed98dc1ce15b3269bed59e943","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-09-30T17:01:47Z"}
{"name":"libpetri-verification","vers":"10.0.0","deps":[{"name":"libpetri-core","req":"^10.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^10.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"90e1d04f36bb668cb6232029b876ede714f0f438df8913b5873f22180605b148","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-10-05T14:16:28Z"}
{"name":"libpetri-verification","vers":"10.1.0","deps":[{"name":"libpetri-core","req":"^10.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^10.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"94c10bb1491a516eec838a7f9971f152a60d3afc741bba329b89dafd833819f1","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-10-06T07:03:28Z"}
{"name":"libpetri-verification","vers":"11.0.0","deps":[{"name":"libpetri-core","req":"^11.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^11.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"848898727432803eb894b130ad4a6f44bbc05e1236ccbcc1c8db2b2b963190e9","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-10-08T19:10:34Z"}
{"name":"libpetri-verification","vers":"11.0.1","deps":[{"name":"libpetri-core","req":"^11.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libpetri-docgen","req":"^11.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"724f99efd1597b728fe4a79d595509fb4795c68643baafb4bc82693c01ebd382","features":{"default":[],"z3":[]},"yanked":false,"rust_version":"1.88","pubtime":"2026-11-03T14:32:18Z"}