{"name":"formally-cli","vers":"0.2025.12","deps":[{"name":"clap","req":"^4.5.53","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"formally","req":"^0.2025.12","features":["io","smt"],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ef2ed747b62a9531d312ceba91c0c7e517904862f2813a5a5ac6626f36caadb4","features":{},"yanked":false,"pubtime":"2025-12-19T13:43:28Z"}