{"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"}