modus_ponens_derive 0.1.3

{
  "git": {
    "sha1": "575ad58ac7a31866ac3adca14cce19f812286a91"
  }
}