{"name":"varisat-formula","vers":"0.2.1","deps":[{"name":"proptest","req":"^0.9.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^0.9.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.6.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.6.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"78d44ab5c6de769e855c77add5b0efa73ed3320b06485f04c8d3fad9b2eb9997","features":{"default":[],"internal-testing":["proptest","rand"],"proptest-strategies":["proptest"]},"yanked":false,"pubtime":"2019-05-18T08:09:43Z"}
{"name":"varisat-formula","vers":"0.2.2","deps":[{"name":"proptest","req":"^0.10.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^0.10.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"rand","req":"^0.7.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.7.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"395c5543b9bfd9076d6d3af49d6c34a4b91b0b355998c0a5ec6ed7265d364520","features":{"default":[],"internal-testing":["proptest","rand"],"proptest-strategies":["proptest"]},"yanked":false,"pubtime":"2020-09-09T17:07:54Z"}