mv-prover-boogie-backend 0.3.2

{
  "git": {
    "sha1": "21237d7696246b1f02392cb6cf0e78fdd296f417"
  },
  "path_in_vcs": "language/move-prover/boogie-backend"
}