{
  "cv": 18,
  "name": "z3",
  "fqn": "nimz3.zevv.github.com",
  "current": "7d15d71da075512bc159f483a7acbea8ab317fa1",
  "author": "Ico Doornekamp",
  "description": "Nim Z3 theorem prover bindings",
  "license": "MIT",
  "nim": "0.19.0",
  "srcDir": "src",
  "installExt": [
    "nim"
  ],
  "releases": [
    {
      "v": "0.1.4@fb0ce2268e449e95601f252b41b58a1e0395aeab",
      "r": []
    },
    {
      "v": "0.1.3@826125f718ba6d51ac8adfa7927d32b0e9377c0a",
      "r": []
    },
    {
      "v": "0.1.2@0d56c34d9328722b1e60a039b33dfc8c15b2f224",
      "r": []
    },
    {
      "v": "0.1.1@9e288efbd36b26e390915073d11156897426b972",
      "r": []
    },
    {
      "v": "0.1.0@b6deb6db1c943faddceba3ab80f5a51ce169bec6",
      "r": [],
      "S": "HasUnknownNimbleFile",
      "E": "missing nimble file",
      "k": []
    }
  ],
  "tags": true,
  "generatedAt": "2026-05-26T13:52:41Z",
  "allDeps": {
    "packages": [],
    "urls": [],
    "unresolved": []
  }
}