{"name":"formally-io","vers":"0.2025.12","deps":[{"name":"formally-support","req":"^0.2025.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty","req":"^0.12.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"termsize","req":"^0.1.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"664a1223e8f1e51da90e2d78c8316ac374b719ca8ffd15459ba9841b08b42772","features":{"__subcratedoc":[],"default":[]},"yanked":false,"pubtime":"2025-12-19T13:32:30Z"}