{"name":"formally","vers":"0.1.0","deps":[],"cksum":"95dd2dc463a8431ac83bc31cf314e32839f21ded9da702a59edaff789deea085","features":{},"yanked":false,"pubtime":"2025-03-17T08:11:26Z"}
{"name":"formally","vers":"0.2025.12","deps":[{"name":"document-features","req":"^0.2.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"formally-io","req":"^0.2025.12","features":["__subcratedoc"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"formally-smt","req":"^0.2025.12","features":["__subcratedoc"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"formally-support","req":"^0.2025.12","features":["__subcratedoc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rstest","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"b4d49f34eb7491b4b7d84128aa1e685f1abda67a44c35c7c25b84f01eafae456","features":{"default":["io","smt"],"io":["formally-io"],"smt":["io","formally-smt"]},"yanked":false,"pubtime":"2025-12-19T13:32:34Z"}
{"name":"formally","vers":"0.2025.121","deps":[{"name":"document-features","req":"^0.2.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"formally-io","req":"^0.2025.12","features":["__subcratedoc"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"formally-smt","req":"^0.2025.121","features":["__subcratedoc"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"formally-support","req":"^0.2025.121","features":["__subcratedoc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rstest","req":"^0.26.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"214d2352b94278a0e6fee48d22ac192bde5570487f61c988657218bdfec6a557","features":{"default":["io","smt"],"io":["formally-io"],"smt":["io","formally-smt"]},"yanked":false,"pubtime":"2025-12-20T18:07:53Z"}