{"name":"formally-smt-macros","vers":"0.2025.12","deps":[{"name":"formally-support","req":"^0.2025.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.103","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.108","features":["parsing"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"762a79a808c5b4d1e84fd08e35f05e22c230a8f430d9e96c916a3fbdfecfa3f7","features":{"__subcratedoc":[],"default":[]},"yanked":false,"pubtime":"2025-12-19T13:32:31Z"}
{"name":"formally-smt-macros","vers":"0.2025.121","deps":[{"name":"formally-smt","req":"^0.2025.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"formally-support","req":"^0.2025.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proc-macro2","req":"^1.0.103","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"quote","req":"^1.0.41","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"syn","req":"^2.0.108","features":["parsing"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"68d55eda5c3ebd125fc15c53a33f9c15abe63dbb3e728662932a7b6db4561c28","features":{"__subcratedoc":[],"default":[]},"yanked":false,"pubtime":"2025-12-20T18:07:02Z"}