varisat-internal-proof 0.2.1

{
  "git": {
    "sha1": "5ab4f38511e428be887424a0bfb123b64f5835a5"
  }
}