mirror of
https://github.com/fnproject/fn.git
synced 2022-10-28 21:29:17 +03:00
ebc6657071
1) now required docker version is 17.06 2) enable circle ci latest docker install 3) docker driver & agent check minimum version before start
684 lines
15 KiB
TOML
684 lines
15 KiB
TOML
# This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'.
|
|
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/Azure/go-ansiterm"
|
|
packages = [
|
|
".",
|
|
"winterm"
|
|
]
|
|
revision = "d6e3b3328b783f23731bc4d058875b0371ff8109"
|
|
|
|
[[projects]]
|
|
name = "github.com/Microsoft/go-winio"
|
|
packages = ["."]
|
|
revision = "7da180ee92d8bd8bb8c37fc560e673e6557c392f"
|
|
version = "v0.4.7"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/Nvveen/Gotty"
|
|
packages = ["."]
|
|
revision = "cd527374f1e5bff4938207604a14f2e38a9cf512"
|
|
|
|
[[projects]]
|
|
name = "github.com/PuerkitoBio/purell"
|
|
packages = ["."]
|
|
revision = "0bcb03f4b4d0a9428594752bd2a3b9aa0a9d4bd4"
|
|
version = "v1.1.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/PuerkitoBio/urlesc"
|
|
packages = ["."]
|
|
revision = "de5bf2ad457846296e2031421a34e2568e304e35"
|
|
|
|
[[projects]]
|
|
name = "github.com/Shopify/sarama"
|
|
packages = ["."]
|
|
revision = "3b1b38866a79f06deddf0487d5c27ba0697ccd65"
|
|
version = "v1.15.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/apache/thrift"
|
|
packages = ["lib/go/thrift"]
|
|
revision = "327ebb6c2b6df8bf075da02ef45a2a034e9b79ba"
|
|
version = "0.11.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/asaskevich/govalidator"
|
|
packages = ["."]
|
|
revision = "521b25f4b05fd26bec69d9dedeb8f9c9a83939a8"
|
|
version = "v8"
|
|
|
|
[[projects]]
|
|
name = "github.com/aws/aws-sdk-go"
|
|
packages = [
|
|
"aws",
|
|
"aws/awserr",
|
|
"aws/awsutil",
|
|
"aws/client",
|
|
"aws/client/metadata",
|
|
"aws/corehandlers",
|
|
"aws/credentials",
|
|
"aws/credentials/ec2rolecreds",
|
|
"aws/credentials/endpointcreds",
|
|
"aws/credentials/stscreds",
|
|
"aws/defaults",
|
|
"aws/ec2metadata",
|
|
"aws/endpoints",
|
|
"aws/request",
|
|
"aws/session",
|
|
"aws/signer/v4",
|
|
"internal/shareddefaults",
|
|
"private/protocol",
|
|
"private/protocol/query",
|
|
"private/protocol/query/queryutil",
|
|
"private/protocol/rest",
|
|
"private/protocol/restxml",
|
|
"private/protocol/xml/xmlutil",
|
|
"service/s3",
|
|
"service/s3/s3iface",
|
|
"service/s3/s3manager",
|
|
"service/sts"
|
|
]
|
|
revision = "decd990ddc5dcdf2f73309cbcab90d06b996ca28"
|
|
version = "v1.12.67"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/beorn7/perks"
|
|
packages = ["quantile"]
|
|
revision = "4c0e84591b9aa9e6dcfdf3e020114cd81f89d5f9"
|
|
|
|
[[projects]]
|
|
name = "github.com/boltdb/bolt"
|
|
packages = ["."]
|
|
revision = "fa5367d20c994db73282594be0146ab221657943"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/containerd/continuity"
|
|
packages = ["pathdriver"]
|
|
revision = "b2b946a77f5973f420514090d6f6dd58b08303f0"
|
|
|
|
[[projects]]
|
|
name = "github.com/coreos/go-semver"
|
|
packages = [
|
|
".",
|
|
"semver"
|
|
]
|
|
revision = "8ab6407b697782a06568d4b7f1db25550ec2e4c6"
|
|
version = "v0.2.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/davecgh/go-spew"
|
|
packages = ["spew"]
|
|
revision = "346938d642f2ec3594ed81d874461961cd0faa76"
|
|
version = "v1.1.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/docker/distribution"
|
|
packages = [
|
|
".",
|
|
"digestset",
|
|
"manifest",
|
|
"manifest/schema1",
|
|
"manifest/schema2",
|
|
"reference",
|
|
"registry/api/errcode",
|
|
"registry/api/v2",
|
|
"registry/client",
|
|
"registry/client/auth",
|
|
"registry/client/auth/challenge",
|
|
"registry/client/transport",
|
|
"registry/storage/cache",
|
|
"registry/storage/cache/memory"
|
|
]
|
|
revision = "bc3c7b0525e59d3ecfab3e1568350895fd4a462f"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/docker/docker"
|
|
packages = [
|
|
"api/types",
|
|
"api/types/blkiodev",
|
|
"api/types/container",
|
|
"api/types/filters",
|
|
"api/types/mount",
|
|
"api/types/network",
|
|
"api/types/registry",
|
|
"api/types/strslice",
|
|
"api/types/swarm",
|
|
"api/types/swarm/runtime",
|
|
"api/types/versions",
|
|
"opts",
|
|
"pkg/archive",
|
|
"pkg/fileutils",
|
|
"pkg/homedir",
|
|
"pkg/idtools",
|
|
"pkg/ioutils",
|
|
"pkg/jsonmessage",
|
|
"pkg/longpath",
|
|
"pkg/mount",
|
|
"pkg/pools",
|
|
"pkg/stdcopy",
|
|
"pkg/system",
|
|
"pkg/term",
|
|
"pkg/term/windows"
|
|
]
|
|
revision = "99cfb5f31ad82238573de3475bf5bb0435ac1ebc"
|
|
|
|
[[projects]]
|
|
name = "github.com/docker/go-connections"
|
|
packages = ["nat"]
|
|
revision = "3ede32e2033de7505e6500d6c868c2b9ed9f169d"
|
|
version = "v0.3.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/docker/go-units"
|
|
packages = ["."]
|
|
revision = "0dadbb0345b35ec7ef35e228dabb8de89a65bf52"
|
|
version = "v0.3.2"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/docker/libtrust"
|
|
packages = ["."]
|
|
revision = "aabc10ec26b754e797f9028f4589c5b7bd90dc20"
|
|
|
|
[[projects]]
|
|
name = "github.com/eapache/go-resiliency"
|
|
packages = ["breaker"]
|
|
revision = "6800482f2c813e689c88b7ed3282262385011890"
|
|
version = "v1.0.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/eapache/go-xerial-snappy"
|
|
packages = ["."]
|
|
revision = "bb955e01b9346ac19dc29eb16586c90ded99a98c"
|
|
|
|
[[projects]]
|
|
name = "github.com/eapache/queue"
|
|
packages = ["."]
|
|
revision = "44cc805cf13205b55f69e14bcb69867d1ae92f98"
|
|
version = "v1.1.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/fnproject/fdk-go"
|
|
packages = ["."]
|
|
revision = "46839d559f713a68137f3e4fc4117e7440231c57"
|
|
|
|
[[projects]]
|
|
name = "github.com/fnproject/fn_go"
|
|
packages = [
|
|
"client",
|
|
"client/apps",
|
|
"client/call",
|
|
"client/operations",
|
|
"client/routes",
|
|
"models"
|
|
]
|
|
revision = "847fec724330b2741336431502db292fc5a45211"
|
|
version = "0.2.3"
|
|
|
|
[[projects]]
|
|
name = "github.com/fsouza/go-dockerclient"
|
|
packages = ["."]
|
|
revision = "98edf3edfae6a6500fecc69d2bcccf1302544004"
|
|
|
|
[[projects]]
|
|
name = "github.com/garyburd/redigo"
|
|
packages = [
|
|
"internal",
|
|
"redis"
|
|
]
|
|
revision = "d1ed5c67e5794de818ea85e6b522fda02623a484"
|
|
version = "v1.4.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/gin-contrib/cors"
|
|
packages = ["."]
|
|
revision = "cf4846e6a636a76237a28d9286f163c132e841bc"
|
|
version = "v1.2"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/gin-contrib/sse"
|
|
packages = ["."]
|
|
revision = "22d885f9ecc78bf4ee5d72b937e4bbcdc58e8cae"
|
|
|
|
[[projects]]
|
|
name = "github.com/gin-gonic/gin"
|
|
packages = [
|
|
".",
|
|
"binding",
|
|
"render"
|
|
]
|
|
revision = "d459835d2b077e44f7c9b453505ee29881d5d12d"
|
|
version = "v1.2"
|
|
|
|
[[projects]]
|
|
name = "github.com/go-ini/ini"
|
|
packages = ["."]
|
|
revision = "32e4c1e6bc4e7d0d8451aa6b75200d19e37a536a"
|
|
version = "v1.32.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/go-logfmt/logfmt"
|
|
packages = ["."]
|
|
revision = "390ab7935ee28ec6b286364bba9b4dd6410cb3d5"
|
|
version = "v0.3.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-openapi/analysis"
|
|
packages = ["."]
|
|
revision = "0db1e4cf47d6eb0fc6b25135868c3483cc6b066e"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-openapi/errors"
|
|
packages = ["."]
|
|
revision = "7bcb96a367bac6b76e6e42fa84155bb5581dcff8"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-openapi/jsonpointer"
|
|
packages = ["."]
|
|
revision = "779f45308c19820f1a69e9a4cd965f496e0da10f"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-openapi/jsonreference"
|
|
packages = ["."]
|
|
revision = "36d33bfe519efae5632669801b180bf1a245da3b"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-openapi/loads"
|
|
packages = ["."]
|
|
revision = "2a2b323bab96e6b1fdee110e57d959322446e9c9"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-openapi/runtime"
|
|
packages = [
|
|
".",
|
|
"client",
|
|
"logger",
|
|
"middleware",
|
|
"middleware/denco",
|
|
"middleware/header",
|
|
"middleware/untyped",
|
|
"security"
|
|
]
|
|
revision = "be1313bd8283bc82b48033942f0f3730eaef2d90"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-openapi/spec"
|
|
packages = ["."]
|
|
revision = "fa03337d7da5735229ee8f5e9d5d0b996014b7f8"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-openapi/strfmt"
|
|
packages = ["."]
|
|
revision = "4dd3d302e100bae008baedc42d446ce83bdd10ad"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-openapi/swag"
|
|
packages = ["."]
|
|
revision = "84f4bee7c0a6db40e3166044c7983c1c32125429"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/go-openapi/validate"
|
|
packages = ["."]
|
|
revision = "9b5947525af6a4843d2b9576e5943b9931ad535d"
|
|
|
|
[[projects]]
|
|
name = "github.com/go-sql-driver/mysql"
|
|
packages = ["."]
|
|
revision = "21d7e97c9f760ca685a01ecea202e1c84276daa1"
|
|
|
|
[[projects]]
|
|
name = "github.com/gogo/protobuf"
|
|
packages = ["proto"]
|
|
revision = "342cbe0a04158f6dcb03ca0079991a51a4248c02"
|
|
version = "v0.5"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/golang/protobuf"
|
|
packages = ["proto"]
|
|
revision = "c65a0412e71e8b9b3bfd22925720d23c0f054237"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/golang/snappy"
|
|
packages = ["."]
|
|
revision = "553a641470496b2327abcac10b36396bd98e45c9"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/google/btree"
|
|
packages = ["."]
|
|
revision = "316fb6d3f031ae8f4d457c6c5186b9e3ded70435"
|
|
|
|
[[projects]]
|
|
name = "github.com/gorilla/context"
|
|
packages = ["."]
|
|
revision = "1ea25387ff6f684839d82767c1733ff4d4d15d0a"
|
|
version = "v1.1"
|
|
|
|
[[projects]]
|
|
name = "github.com/gorilla/mux"
|
|
packages = ["."]
|
|
revision = "53c1911da2b537f792e7cafcb446b05ffe33b996"
|
|
version = "v1.6.1"
|
|
|
|
[[projects]]
|
|
name = "github.com/jmespath/go-jmespath"
|
|
packages = ["."]
|
|
revision = "0b12d6b5"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/jmoiron/sqlx"
|
|
packages = [
|
|
".",
|
|
"reflectx"
|
|
]
|
|
revision = "de8647470aafe4854c976707c431dbe1eb2822c6"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/kr/logfmt"
|
|
packages = ["."]
|
|
revision = "b84e30acd515aadc4b783ad4ff83aff3299bdfe0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/lib/pq"
|
|
packages = [
|
|
".",
|
|
"oid"
|
|
]
|
|
revision = "61fe37aa2ee24fabcdbe5c4ac1d4ac566f88f345"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/mailru/easyjson"
|
|
packages = [
|
|
"buffer",
|
|
"jlexer",
|
|
"jwriter"
|
|
]
|
|
revision = "32fa128f234d041f196a9f3e0fea5ac9772c08e1"
|
|
|
|
[[projects]]
|
|
name = "github.com/mattes/migrate"
|
|
packages = [
|
|
".",
|
|
"database",
|
|
"source"
|
|
]
|
|
revision = "035c07716cd373d88456ec4d701402df52584cb4"
|
|
version = "v3.0.1"
|
|
|
|
[[projects]]
|
|
name = "github.com/mattn/go-isatty"
|
|
packages = ["."]
|
|
revision = "0360b2af4f38e8d38c7fce2a9f4e702702d73a39"
|
|
version = "v0.0.3"
|
|
|
|
[[projects]]
|
|
name = "github.com/mattn/go-sqlite3"
|
|
packages = ["."]
|
|
revision = "6c771bb9887719704b210e87e934f08be014bdb1"
|
|
version = "v1.6.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/matttproud/golang_protobuf_extensions"
|
|
packages = ["pbutil"]
|
|
revision = "3247c84500bff8d9fb6d579d800f20b3e091582c"
|
|
version = "v1.0.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/mitchellh/mapstructure"
|
|
packages = ["."]
|
|
revision = "b4575eea38cca1123ec2dc90c26529b5c5acfcff"
|
|
|
|
[[projects]]
|
|
name = "github.com/opencontainers/go-digest"
|
|
packages = ["."]
|
|
revision = "279bed98673dd5bef374d3b6e4b09e2af76183bf"
|
|
version = "v1.0.0-rc1"
|
|
|
|
[[projects]]
|
|
name = "github.com/opencontainers/image-spec"
|
|
packages = [
|
|
"specs-go",
|
|
"specs-go/v1"
|
|
]
|
|
revision = "d60099175f88c47cd379c4738d158884749ed235"
|
|
version = "v1.0.1"
|
|
|
|
[[projects]]
|
|
name = "github.com/opencontainers/runc"
|
|
packages = [
|
|
"libcontainer/system",
|
|
"libcontainer/user"
|
|
]
|
|
revision = "baf6536d6259209c3edfa2b22237af82942d3dfa"
|
|
version = "v0.1.1"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/opentracing-contrib/go-observer"
|
|
packages = ["."]
|
|
revision = "a52f2342449246d5bcc273e65cbdcfa5f7d6c63c"
|
|
|
|
[[projects]]
|
|
name = "github.com/opentracing/opentracing-go"
|
|
packages = [
|
|
".",
|
|
"ext",
|
|
"log"
|
|
]
|
|
revision = "1949ddbfd147afd4d964a9f00b24eb291e0e7c38"
|
|
version = "v1.0.2"
|
|
|
|
[[projects]]
|
|
name = "github.com/openzipkin/zipkin-go-opentracing"
|
|
packages = [
|
|
".",
|
|
"flag",
|
|
"thrift/gen-go/scribe",
|
|
"thrift/gen-go/zipkincore",
|
|
"types",
|
|
"wire"
|
|
]
|
|
revision = "45e90b00710a4c34a1a7d8a78d90f9b010b0bd4d"
|
|
version = "v0.3.2"
|
|
|
|
[[projects]]
|
|
name = "github.com/patrickmn/go-cache"
|
|
packages = ["."]
|
|
revision = "a3647f8e31d79543b2d0f0ae2fe5c379d72cedc0"
|
|
version = "v2.1.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/petar/GoLLRB"
|
|
packages = ["llrb"]
|
|
revision = "53be0d36a84c2a886ca057d34b6aa4468df9ccb4"
|
|
|
|
[[projects]]
|
|
name = "github.com/pierrec/lz4"
|
|
packages = ["."]
|
|
revision = "2fcda4cb7018ce05a25959d2fe08c83e3329f169"
|
|
version = "v1.1"
|
|
|
|
[[projects]]
|
|
name = "github.com/pierrec/xxHash"
|
|
packages = ["xxHash32"]
|
|
revision = "f051bb7f1d1aaf1b5a665d74fb6b0217712c69f7"
|
|
version = "v0.1.1"
|
|
|
|
[[projects]]
|
|
name = "github.com/pkg/errors"
|
|
packages = ["."]
|
|
revision = "645ef00459ed84a119197bfb8d8205042c6df63d"
|
|
version = "v0.8.0"
|
|
|
|
[[projects]]
|
|
name = "github.com/prometheus/client_golang"
|
|
packages = [
|
|
"prometheus",
|
|
"prometheus/promhttp"
|
|
]
|
|
revision = "c5b7fccd204277076155f10851dad72b76a49317"
|
|
version = "v0.8.0"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/prometheus/client_model"
|
|
packages = ["go"]
|
|
revision = "99fa1f4be8e564e8a6b613da7fa6f46c9edafc6c"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/prometheus/common"
|
|
packages = [
|
|
"expfmt",
|
|
"internal/bitbucket.org/ww/goautoneg",
|
|
"model"
|
|
]
|
|
revision = "89604d197083d4781071d3c65855d24ecfb0a563"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/prometheus/procfs"
|
|
packages = [
|
|
".",
|
|
"internal/util",
|
|
"nfsd",
|
|
"xfs"
|
|
]
|
|
revision = "85fadb6e89903ef7cca6f6a804474cd5ea85b6e1"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "github.com/rcrowley/go-metrics"
|
|
packages = ["."]
|
|
revision = "e181e095bae94582363434144c61a9653aff6e50"
|
|
|
|
[[projects]]
|
|
name = "github.com/rdallman/migrate"
|
|
packages = [
|
|
".",
|
|
"database/mysql",
|
|
"database/postgres",
|
|
"database/sqlite3",
|
|
"source",
|
|
"source/go-bindata"
|
|
]
|
|
revision = "bc72eeb997c7334cb5f05f5aefd2d70bc34d71ef"
|
|
|
|
[[projects]]
|
|
name = "github.com/sirupsen/logrus"
|
|
packages = [
|
|
".",
|
|
"hooks/syslog"
|
|
]
|
|
revision = "89742aefa4b206dcf400792f3bd35b542998eb3b"
|
|
|
|
[[projects]]
|
|
name = "github.com/ugorji/go"
|
|
packages = ["codec"]
|
|
revision = "9831f2c3ac1068a78f50999a30db84270f647af6"
|
|
version = "v1.1"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "golang.org/x/crypto"
|
|
packages = ["ssh/terminal"]
|
|
revision = "3d37316aaa6bd9929127ac9a527abf408178ea7b"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "golang.org/x/net"
|
|
packages = [
|
|
"context",
|
|
"context/ctxhttp",
|
|
"idna"
|
|
]
|
|
revision = "5ccada7d0a7ba9aeb5d3aca8d3501b4c2a509fec"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "golang.org/x/sys"
|
|
packages = [
|
|
"unix",
|
|
"windows"
|
|
]
|
|
revision = "af50095a40f9041b3b38960738837185c26e9419"
|
|
|
|
[[projects]]
|
|
branch = "master"
|
|
name = "golang.org/x/text"
|
|
packages = [
|
|
"collate",
|
|
"collate/build",
|
|
"internal/colltab",
|
|
"internal/gen",
|
|
"internal/tag",
|
|
"internal/triegen",
|
|
"internal/ucd",
|
|
"language",
|
|
"secure/bidirule",
|
|
"transform",
|
|
"unicode/bidi",
|
|
"unicode/cldr",
|
|
"unicode/norm",
|
|
"unicode/rangetable",
|
|
"width"
|
|
]
|
|
revision = "e19ae1496984b1c655b8044a65c0300a3c878dd3"
|
|
|
|
[[projects]]
|
|
name = "gopkg.in/go-playground/validator.v8"
|
|
packages = ["."]
|
|
revision = "5f1438d3fca68893a817e4a66806cea46a9e4ebf"
|
|
version = "v8.18.2"
|
|
|
|
[[projects]]
|
|
branch = "v2"
|
|
name = "gopkg.in/mgo.v2"
|
|
packages = [
|
|
"bson",
|
|
"internal/json"
|
|
]
|
|
revision = "3f83fa5005286a7fe593b055f0d7771a7dce4655"
|
|
|
|
[[projects]]
|
|
branch = "v2"
|
|
name = "gopkg.in/yaml.v2"
|
|
packages = ["."]
|
|
revision = "d670f9405373e636a5a2765eea47fac0c9bc91a4"
|
|
|
|
[solve-meta]
|
|
analyzer-name = "dep"
|
|
analyzer-version = 1
|
|
inputs-digest = "f5c10f8c63262754a0ceb541105cfac5448693af7997269bb1edce828eb3a551"
|
|
solver-name = "gps-cdcl"
|
|
solver-version = 1
|