# This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'.


[[projects]]
  branch = "master"
  name = "code.gitea.io/git"
  packages = ["."]
  revision = "31f4b8e8c805438ac6d8914b38accb1d8aaf695e"

[[projects]]
  branch = "master"
  name = "code.gitea.io/sdk"
  packages = ["gitea"]
  revision = "b2308e3f700875a3642a78bd3f6e5db8ef6f974d"

[[projects]]
  name = "github.com/PuerkitoBio/goquery"
  packages = ["."]
  revision = "ed7d758e9a34ba1f55e8084e0d731448b46921a8"

[[projects]]
  name = "github.com/RoaringBitmap/roaring"
  packages = ["."]
  revision = "1a28a7fa985680f9f4e1644c0a857ec359a444b0"
  version = "v0.4.7"

[[projects]]
  branch = "master"
  name = "github.com/Smerity/govarint"
  packages = ["."]
  revision = "7265e41f48f15fd61751e16da866af3c704bb3ab"

[[projects]]
  branch = "master"
  name = "github.com/Unknwon/cae"
  packages = [
    ".",
    "zip"
  ]
  revision = "c6aac99ea2cae2ebaf23f26f76b04fe3fcfc9f8c"

[[projects]]
  branch = "master"
  name = "github.com/Unknwon/com"
  packages = ["."]
  revision = "7677a1d7c1137cd3dd5ba7a076d0c898a1ef4520"

[[projects]]
  branch = "master"
  name = "github.com/Unknwon/i18n"
  packages = ["."]
  revision = "b64d336589669d317928070e70ba0ae558f16633"

[[projects]]
  name = "github.com/Unknwon/paginater"
  packages = ["."]
  revision = "7748a72e01415173a27d79866b984328e7b0c12b"

[[projects]]
  name = "github.com/andybalholm/cascadia"
  packages = ["."]
  revision = "349dd0209470eabd9514242c688c403c0926d266"

[[projects]]
  name = "github.com/blevesearch/bleve"
  packages = [
    ".",
    "analysis",
    "analysis/analyzer/custom",
    "analysis/analyzer/standard",
    "analysis/datetime/flexible",
    "analysis/datetime/optional",
    "analysis/lang/en",
    "analysis/token/camelcase",
    "analysis/token/lowercase",
    "analysis/token/porter",
    "analysis/token/stop",
    "analysis/token/unicodenorm",
    "analysis/token/unique",
    "analysis/tokenizer/unicode",
    "document",
    "geo",
    "index",
    "index/scorch",
    "index/scorch/mergeplan",
    "index/scorch/segment",
    "index/scorch/segment/mem",
    "index/scorch/segment/zap",
    "index/store",
    "index/store/boltdb",
    "index/store/gtreap",
    "index/upsidedown",
    "mapping",
    "numeric",
    "registry",
    "search",
    "search/collector",
    "search/facet",
    "search/highlight",
    "search/highlight/format/html",
    "search/highlight/fragmenter/simple",
    "search/highlight/highlighter/html",
    "search/highlight/highlighter/simple",
    "search/query",
    "search/scorer",
    "search/searcher"
  ]
  revision = "ff210fbc6d348ad67aa5754eaea11a463fcddafd"

[[projects]]
  branch = "master"
  name = "github.com/blevesearch/go-porterstemmer"
  packages = ["."]
  revision = "23a2c8e5cf1f380f27722c6d2ae8896431dc7d0e"

[[projects]]
  name = "github.com/blevesearch/segment"
  packages = ["."]
  revision = "db70c57796cc8c310613541dfade3dce627d09c7"

[[projects]]
  name = "github.com/boltdb/bolt"
  packages = ["."]
  revision = "ccd680d8c1a0179ac3d68f692b01e1a1589cbfc7"
  source = "github.com/go-gitea/bolt"

[[projects]]
  name = "github.com/boombuler/barcode"
  packages = [
    ".",
    "qr",
    "utils"
  ]
  revision = "fe0f26ff6d26693948ee8189aa064ee8c54141fa"

[[projects]]
  name = "github.com/bradfitz/gomemcache"
  packages = ["memcache"]
  revision = "fb1f79c6b65acda83063cbc69f6bba1522558bfc"

[[projects]]
  name = "github.com/chaseadamsio/goorgeous"
  packages = ["."]
  revision = "098da33fde5f9220736531b3cb26a2dec86a8367"

[[projects]]
  name = "github.com/coreos/etcd"
  packages = ["error"]
  revision = "01c303113d0a3d5a8075864321c3aedb72035bdd"

[[projects]]
  branch = "master"
  name = "github.com/coreos/go-etcd"
  packages = ["etcd"]
  revision = "003851be7bb0694fe3cc457a49529a19388ee7cf"

[[projects]]
  branch = "master"
  name = "github.com/couchbase/vellum"
  packages = [
    ".",
    "regexp",
    "utf8"
  ]
  revision = "eb6ae3743b3f300f2136f83ca78c08cc071edbd4"

[[projects]]
  name = "github.com/davecgh/go-spew"
  packages = ["spew"]
  revision = "346938d642f2ec3594ed81d874461961cd0faa76"
  version = "v1.1.0"

[[projects]]
  name = "github.com/denisenkom/go-mssqldb"
  packages = ["."]
  revision = "e32ca5036449b7ea12c62ed761ea1ad7fc88a4e2"

[[projects]]
  name = "github.com/dgrijalva/jwt-go"
  packages = ["."]
  revision = "9ed569b5d1ac936e6494082958d63a6aa4fff99a"

[[projects]]
  branch = "master"
  name = "github.com/edsrzf/mmap-go"
  packages = ["."]
  revision = "0bce6a6887123b67a60366d2c9fe2dfb74289d2e"

[[projects]]
  name = "github.com/elazarl/go-bindata-assetfs"
  packages = ["."]
  revision = "57eb5e1fc594ad4b0b1dbea7b286d299e0cb43c2"

[[projects]]
  name = "github.com/ethantkoenig/rupture"
  packages = ["."]
  revision = "0a76f03a811abcca2e6357329b673e9bb8ef9643"

[[projects]]
  branch = "master"
  name = "github.com/facebookgo/clock"
  packages = ["."]
  revision = "600d898af40aa09a7a93ecb9265d87b0504b6f03"

[[projects]]
  name = "github.com/facebookgo/grace"
  packages = [
    "gracehttp",
    "gracenet"
  ]
  revision = "5729e484473f52048578af1b80d0008c7024089b"

[[projects]]
  branch = "master"
  name = "github.com/facebookgo/httpdown"
  packages = ["."]
  revision = "a3b1354551a26449fbe05f5d855937f6e7acbd71"

[[projects]]
  branch = "master"
  name = "github.com/facebookgo/stats"
  packages = ["."]
  revision = "1b76add642e42c6ffba7211ad7b3939ce654526e"

[[projects]]
  branch = "master"
  name = "github.com/glycerine/go-unsnap-stream"
  packages = ["."]
  revision = "9f0cb55181dd3a0a4c168d3dbc72d4aca4853126"

[[projects]]
  branch = "master"
  name = "github.com/go-macaron/bindata"
  packages = ["."]
  revision = "85786f57eee3e5544a9cc24fa2afe425b97a8652"

[[projects]]
  name = "github.com/go-macaron/binding"
  packages = ["."]
  revision = "9440f336b443056c90d7d448a0a55ad8c7599880"

[[projects]]
  branch = "master"
  name = "github.com/go-macaron/cache"
  packages = [
    ".",
    "memcache",
    "redis"
  ]
  revision = "56173531277692bc2925924d51fda1cd0a6b8178"

[[projects]]
  name = "github.com/go-macaron/captcha"
  packages = ["."]
  revision = "8aa5919789ab301e865595eb4b1114d6b9847deb"

[[projects]]
  branch = "master"
  name = "github.com/go-macaron/csrf"
  packages = ["."]
  revision = "503617c6b37257a55dff6293ec28556506c3a9a8"

[[projects]]
  branch = "master"
  name = "github.com/go-macaron/gzip"
  packages = ["."]
  revision = "cad1c6580a07c56f5f6bc52d66002a05985c5854"

[[projects]]
  branch = "master"
  name = "github.com/go-macaron/i18n"
  packages = ["."]
  revision = "ef57533c3b0fc2d8581deda14937e52f11a203ab"

[[projects]]
  branch = "master"
  name = "github.com/go-macaron/inject"
  packages = ["."]
  revision = "d8a0b8677191f4380287cfebd08e462217bac7ad"

[[projects]]
  name = "github.com/go-macaron/session"
  packages = [
    ".",
    "redis"
  ]
  revision = "66031fcb37a0fff002a1f028eb0b3a815c78306b"

[[projects]]
  name = "github.com/go-macaron/toolbox"
  packages = ["."]
  revision = "99a42f20e9e88daec5c0d7beb4e7eac134680ab0"

[[projects]]
  name = "github.com/go-sql-driver/mysql"
  packages = ["."]
  revision = "ce924a41eea897745442daaa1739089b0f3f561d"

[[projects]]
  name = "github.com/go-xorm/builder"
  packages = ["."]
  revision = "dc8bf48f58fab2b4da338ffd25191905fd741b8f"
  version = "v0.3.0"

[[projects]]
  name = "github.com/go-xorm/core"
  packages = ["."]
  revision = "c10e21e7e1cec20e09398f2dfae385e58c8df555"
  version = "v0.6.0"

[[projects]]
  name = "github.com/go-xorm/tidb"
  packages = ["."]
  revision = "21e49190ce47a766fa741cf7edc831a30c12c6ac"

[[projects]]
  name = "github.com/go-xorm/xorm"
  packages = ["."]
  revision = "ad69f7d8f0861a29438154bb0a20b60501298480"

[[projects]]
  branch = "master"
  name = "github.com/gogits/chardet"
  packages = ["."]
  revision = "2404f777256163ea3eadb273dada5dcb037993c0"

[[projects]]
  name = "github.com/gogits/cron"
  packages = ["."]
  revision = "7f3990acf1833faa5ebd0e86f0a4c72a4b5eba3c"

[[projects]]
  name = "github.com/golang/protobuf"
  packages = ["proto"]
  revision = "99511271042a09d1e01baea8781caa5210fec66e"

[[projects]]
  name = "github.com/golang/snappy"
  packages = ["."]
  revision = "5f1c01d9f64b941dd9582c638279d046eda6ca31"

[[projects]]
  name = "github.com/issue9/identicon"
  packages = ["."]
  revision = "d36b54562f4cf70c83653e13dc95c220c79ef521"

[[projects]]
  name = "github.com/jaytaylor/html2text"
  packages = ["."]
  revision = "8fb95d837f7d6db1913fecfd7bcc5333e6499596"

[[projects]]
  name = "github.com/juju/errors"
  packages = ["."]
  revision = "b2c7a7da5b2995941048f60146e67702a292e468"

[[projects]]
  name = "github.com/kballard/go-shellquote"
  packages = ["."]
  revision = "cd60e84ee657ff3dc51de0b4f55dd299a3e136f2"

[[projects]]
  name = "github.com/keybase/go-crypto"
  packages = [
    "brainpool",
    "cast5",
    "curve25519",
    "ed25519",
    "ed25519/internal/edwards25519",
    "openpgp",
    "openpgp/armor",
    "openpgp/ecdh",
    "openpgp/elgamal",
    "openpgp/errors",
    "openpgp/packet",
    "openpgp/s2k",
    "rsa"
  ]
  revision = "00ac4db533f63ef97576cbc7b07939ff7daf7329"

[[projects]]
  name = "github.com/klauspost/compress"
  packages = [
    "flate",
    "gzip"
  ]
  revision = "8df558b6cb6f9b445f9586446cfe7223e7d8bd6b"
  version = "v1.1"

[[projects]]
  name = "github.com/klauspost/cpuid"
  packages = ["."]
  revision = "09cded8978dc9e80714c4d85b0322337b0a1e5e0"
  version = "v1.0"

[[projects]]
  name = "github.com/klauspost/crc32"
  packages = ["."]
  revision = "cb6bfca970f6908083f26f39a79009d608efd5cd"
  version = "v1.1"

[[projects]]
  name = "github.com/lafriks/xormstore"
  packages = [
    ".",
    "util"
  ]
  revision = "9cab149ea91875cf056211bd6ef82379fce9cb67"
  version = "v1.0.0"

[[projects]]
  name = "github.com/lib/pq"
  packages = [
    ".",
    "oid"
  ]
  revision = "456514e2defec52e0cd37f90ccf17ec8b28295e2"

[[projects]]
  branch = "master"
  name = "github.com/lunny/dingtalk_webhook"
  packages = ["."]
  revision = "e3534c89ef969912856dfa39e56b09e58c5f5daf"

[[projects]]
  name = "github.com/markbates/goth"
  packages = [
    ".",
    "gothic",
    "providers/bitbucket",
    "providers/dropbox",
    "providers/facebook",
    "providers/github",
    "providers/gitlab",
    "providers/gplus",
    "providers/openidConnect",
    "providers/twitter"
  ]
  revision = "4933f155d89c3c52ab4ca545c6602cf4a1e87913"
  version = "1.45.5"

[[projects]]
  name = "github.com/mattn/go-sqlite3"
  packages = ["."]
  revision = "acfa60124032040b9f5a9406f5a772ee16fe845e"

[[projects]]
  branch = "master"
  name = "github.com/mcuadros/go-version"
  packages = ["."]
  revision = "88e56e02bea1c203c99222c365fa52a69996ccac"

[[projects]]
  name = "github.com/microcosm-cc/bluemonday"
  packages = ["."]
  revision = "f77f16ffc87a6a58814e64ae72d55f9c41374e6d"

[[projects]]
  name = "github.com/mrjones/oauth"
  packages = ["."]
  revision = "3f67d9c274355678b2f9844b08d643e2f9213340"

[[projects]]
  branch = "master"
  name = "github.com/mschoch/smat"
  packages = ["."]
  revision = "90eadee771aeab36e8bf796039b8c261bebebe4f"

[[projects]]
  name = "github.com/msteinert/pam"
  packages = ["."]
  revision = "02ccfbfaf0cc627aa3aec8ef7ed5cfeec5b43f63"

[[projects]]
  name = "github.com/nfnt/resize"
  packages = ["."]
  revision = "891127d8d1b52734debe1b3c3d7e747502b6c366"

[[projects]]
  name = "github.com/ngaut/deadline"
  packages = ["."]
  revision = "fae8f9dfd7048de16575b9d4c255278e38c28a4f"

[[projects]]
  branch = "master"
  name = "github.com/ngaut/go-zookeeper"
  packages = ["zk"]
  revision = "9c3719e318c7cfd072e41eb48cb71fcaa49d5e05"

[[projects]]
  name = "github.com/ngaut/log"
  packages = ["."]
  revision = "d2af3a61f64d093457fb23b25d20f4ce3cd551ce"

[[projects]]
  branch = "master"
  name = "github.com/ngaut/pools"
  packages = ["."]
  revision = "b7bc8c42aac787667ba45adea78233f53f548443"

[[projects]]
  branch = "master"
  name = "github.com/ngaut/sync2"
  packages = ["."]
  revision = "7a24ed77b2efb460c1468b7dc917821c66e80e55"

[[projects]]
  branch = "master"
  name = "github.com/ngaut/tso"
  packages = [
    "client",
    "proto",
    "util"
  ]
  revision = "118f6c141d58f1e72577ff61f43f649bf39355ee"

[[projects]]
  branch = "master"
  name = "github.com/ngaut/zkhelper"
  packages = ["."]
  revision = "6738bdc138d469112c6687fbfcfe049ccabd6a0a"

[[projects]]
  branch = "master"
  name = "github.com/petar/GoLLRB"
  packages = ["llrb"]
  revision = "53be0d36a84c2a886ca057d34b6aa4468df9ccb4"

[[projects]]
  name = "github.com/philhofer/fwd"
  packages = ["."]
  revision = "bb6d471dc95d4fe11e432687f8b70ff496cf3136"
  version = "v1.0.0"

[[projects]]
  name = "github.com/pingcap/go-hbase"
  packages = [
    ".",
    "iohelper",
    "proto"
  ]
  revision = "7a98d1fe4e9e115de8c77ae0e158c0d08732c550"

[[projects]]
  branch = "master"
  name = "github.com/pingcap/go-themis"
  packages = [
    ".",
    "oracle",
    "oracle/oracles"
  ]
  revision = "dbb996606c1d1fe8571fd9ac6da2254c76d2c5c9"

[[projects]]
  name = "github.com/pingcap/tidb"
  packages = [
    ".",
    "ast",
    "column",
    "context",
    "ddl",
    "domain",
    "evaluator",
    "executor",
    "infoschema",
    "inspectkv",
    "kv",
    "kv/memkv",
    "meta",
    "meta/autoid",
    "model",
    "mysql",
    "optimizer",
    "optimizer/plan",
    "parser",
    "parser/opcode",
    "perfschema",
    "privilege",
    "privilege/privileges",
    "sessionctx",
    "sessionctx/autocommit",
    "sessionctx/db",
    "sessionctx/forupdate",
    "sessionctx/variable",
    "store/hbase",
    "store/localstore",
    "store/localstore/boltdb",
    "store/localstore/engine",
    "store/localstore/goleveldb",
    "structure",
    "table",
    "table/tables",
    "terror",
    "util",
    "util/bytes",
    "util/charset",
    "util/codec",
    "util/distinct",
    "util/hack",
    "util/segmentmap",
    "util/sqlexec",
    "util/stringutil",
    "util/types"
  ]
  revision = "33197485abe227dcb254644cf5081c9a3c281669"

[[projects]]
  name = "github.com/pmezard/go-difflib"
  packages = ["difflib"]
  revision = "792786c7400a136282c1664665ae0a8db921c6c2"
  version = "v1.0.0"

[[projects]]
  name = "github.com/pquerna/otp"
  packages = [
    ".",
    "hotp",
    "totp"
  ]
  revision = "54653902c20e47f3417541d35435cb6d6162e28a"

[[projects]]
  branch = "master"
  name = "github.com/russross/blackfriday"
  packages = ["."]
  revision = "11635eb403ff09dbc3a6b5a007ab5ab09151c229"

[[projects]]
  name = "github.com/satori/go.uuid"
  packages = ["."]
  revision = "b061729afc07e77a8aa4fad0a2fd840958f1942a"

[[projects]]
  name = "github.com/sergi/go-diff"
  packages = ["diffmatchpatch"]
  revision = "552b4e9bbdca9e5adafd95ee98c822fdd11b330b"

[[projects]]
  name = "github.com/shurcooL/sanitized_anchor_name"
  packages = ["."]
  revision = "1dba4b3954bc059efc3991ec364f9f9a35f597d2"

[[projects]]
  branch = "master"
  name = "github.com/steveyen/gtreap"
  packages = ["."]
  revision = "0abe01ef9be25c4aedc174758ec2d917314d6d70"

[[projects]]
  name = "github.com/stretchr/testify"
  packages = ["assert"]
  revision = "12b6f73e6084dad08a7c6e575284b177ecafbc71"
  version = "v1.2.1"

[[projects]]
  name = "github.com/syndtr/goleveldb"
  packages = [
    "leveldb",
    "leveldb/cache",
    "leveldb/comparer",
    "leveldb/errors",
    "leveldb/filter",
    "leveldb/iterator",
    "leveldb/journal",
    "leveldb/memdb",
    "leveldb/opt",
    "leveldb/storage",
    "leveldb/table",
    "leveldb/util"
  ]
  revision = "917f41c560270110ceb73c5b38be2a9127387071"

[[projects]]
  branch = "master"
  name = "github.com/tinylib/msgp"
  packages = ["msgp"]
  revision = "c8cf64dff2009d53fa8f8a16df54d1cdfc64c4a7"

[[projects]]
  branch = "master"
  name = "github.com/tstranex/u2f"
  packages = ["."]
  revision = "d21a03e0b1d9fc1df59ff54e7a513655c1748b0c"

[[projects]]
  name = "github.com/twinj/uuid"
  packages = ["."]
  revision = "89173bcdda19db0eb88aef1e1cb1cb2505561d31"
  version = "0.10.0"

[[projects]]
  name = "github.com/ugorji/go"
  packages = ["codec"]
  revision = "c062049c1793b01a3cc3fe786108edabbaf7756b"

[[projects]]
  name = "github.com/urfave/cli"
  packages = ["."]
  revision = "d86a009f5e13f83df65d0d6cee9a2e3f1445f0da"

[[projects]]
  branch = "master"
  name = "github.com/willf/bitset"
  packages = ["."]
  revision = "8ce1146b8621c95164efd9c8b1124cfa9b8afb4e"

[[projects]]
  name = "github.com/yohcop/openid-go"
  packages = ["."]
  revision = "2c050d2dae5345c417db301f11fda6fbf5ad0f0a"

[[projects]]
  name = "golang.org/x/crypto"
  packages = [
    "curve25519",
    "ed25519",
    "ed25519/internal/edwards25519",
    "md4",
    "pbkdf2",
    "ssh"
  ]
  revision = "9f005a07e0d31d45e6656d241bb5c0f2efd4bc94"

[[projects]]
  name = "golang.org/x/net"
  packages = [
    "context",
    "html",
    "html/atom",
    "html/charset"
  ]
  revision = "f2499483f923065a842d38eb4c7f1927e6fc6e6d"

[[projects]]
  name = "golang.org/x/oauth2"
  packages = [
    ".",
    "internal"
  ]
  revision = "c10ba270aa0bf8b8c1c986e103859c67a9103061"

[[projects]]
  name = "golang.org/x/sync"
  packages = ["syncmap"]
  revision = "5a06fca2c336a4b2b2fcb45702e8c47621b2aa2c"

[[projects]]
  name = "golang.org/x/sys"
  packages = [
    "unix",
    "windows",
    "windows/svc"
  ]
  revision = "a646d33e2ee3172a661fc09bca23bb4889a41bc8"

[[projects]]
  name = "golang.org/x/text"
  packages = [
    "encoding",
    "encoding/charmap",
    "encoding/htmlindex",
    "encoding/internal",
    "encoding/internal/identifier",
    "encoding/japanese",
    "encoding/korean",
    "encoding/simplifiedchinese",
    "encoding/traditionalchinese",
    "encoding/unicode",
    "internal/gen",
    "internal/tag",
    "internal/triegen",
    "internal/ucd",
    "internal/utf8internal",
    "language",
    "runes",
    "transform",
    "unicode/cldr",
    "unicode/norm"
  ]
  revision = "2bf8f2a19ec09c670e931282edfe6567f6be21c9"

[[projects]]
  branch = "v3"
  name = "gopkg.in/alexcesaro/quotedprintable.v3"
  packages = ["."]
  revision = "2caba252f4dc53eaf6b553000885530023f54623"

[[projects]]
  name = "gopkg.in/asn1-ber.v1"
  packages = ["."]
  revision = "4e86f4367175e39f69d9358a5f17b4dda270378d"
  version = "v1.1"

[[projects]]
  name = "gopkg.in/bufio.v1"
  packages = ["."]
  revision = "567b2bfa514e796916c4747494d6ff5132a1dfce"
  version = "v1"

[[projects]]
  name = "gopkg.in/editorconfig/editorconfig-core-go.v1"
  packages = ["."]
  revision = "a872f05c2e34b37b567401384d202aff11ba06d4"
  version = "v1.2.0"

[[projects]]
  branch = "v2"
  name = "gopkg.in/gomail.v2"
  packages = ["."]
  revision = "81ebce5c23dfd25c6c67194b37d3dd3f338c98b1"

[[projects]]
  name = "gopkg.in/ini.v1"
  packages = ["."]
  revision = "7e7da451323b6766da368f8a1e8ec9a88a16b4a0"
  version = "v1.31.1"

[[projects]]
  name = "gopkg.in/ldap.v2"
  packages = ["."]
  revision = "d0a5ced67b4dc310b9158d63a2c6f9c5ec13f105"
  version = "v2.4.1"

[[projects]]
  name = "gopkg.in/macaron.v1"
  packages = ["."]
  revision = "75f2e9b42e99652f0d82b28ccb73648f44615faa"
  version = "v1.2.4"

[[projects]]
  name = "gopkg.in/redis.v2"
  packages = ["."]
  revision = "e6179049628164864e6e84e973cfb56335748dea"
  version = "v2.3.2"

[[projects]]
  name = "gopkg.in/testfixtures.v2"
  packages = ["."]
  revision = "b9ef14dc461bf934d8df2dfc6f1f456be5664cca"
  version = "v2.0.0"

[[projects]]
  name = "gopkg.in/yaml.v2"
  packages = ["."]
  revision = "a5b47d31c556af34a302ce5d659e6fea44d90de0"

[[projects]]
  name = "strk.kbt.io/projects/go/libravatar"
  packages = ["."]
  revision = "5eed7bff870ae19ef51c5773dbc8f3e9fcbd0982"

[solve-meta]
  analyzer-name = "dep"
  analyzer-version = 1
  inputs-digest = "3b587a036aaf09514228ead18e7fd93e9ee1d14d4e56715bb2f197d5f27259d1"
  solver-name = "gps-cdcl"
  solver-version = 1