{"name":"specl-tla","vers":"0.1.0","deps":[{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"specl-syntax","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"37f86ace1f29b2a09328bf2ec6f9dc9c2bf18663ee21b2a121356daed1694fa1","features":{},"yanked":false,"pubtime":"2026-02-11T14:03:10Z"}