{"name":"modus_ponens_derive","vers":"0.1.0","deps":[{"name":"modus_ponens","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3eb11e43e313460ce9891bac828130fd2501b978fa9448a02673aa4a02263b9f","features":{},"yanked":false,"pubtime":"2020-05-18T17:47:39Z"}
{"name":"modus_ponens_derive","vers":"0.1.2","deps":[{"name":"modus_ponens","req":"^0.11.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c0fb115ee4737b93d7d218899ff8a3c70df378466fafd8f110a0c5a6df90be12","features":{},"yanked":false,"pubtime":"2021-02-07T12:32:21Z"}
{"name":"modus_ponens_derive","vers":"0.1.3","deps":[{"name":"modus_ponens","req":"^0.11.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cfd4febeeafa32b06acfeb43100d50a7ec3e1e0a237d79689083eb7d4f42897c","features":{},"yanked":false,"pubtime":"2021-10-21T17:38:37Z"}