Gopkg.lock 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549
  1. # This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'.
  2. [[projects]]
  3. branch = "master"
  4. digest = "1:d6afaeed1502aa28e80a4ed0981d570ad91b2579193404256ce672ed0a609e0d"
  5. name = "github.com/beorn7/perks"
  6. packages = ["quantile"]
  7. pruneopts = "UT"
  8. revision = "3a771d992973f24aa725d07868b467d1ddfceafb"
  9. [[projects]]
  10. digest = "1:1343a2963481a305ca4d051e84bc2abd16b601ee22ed324f8d605de1adb291b0"
  11. name = "github.com/bgentry/speakeasy"
  12. packages = ["."]
  13. pruneopts = "UT"
  14. revision = "4aabc24848ce5fd31929f7d1e4ea74d3709c14cd"
  15. version = "v0.1.0"
  16. [[projects]]
  17. digest = "1:0ef770954bca104ee99b3b6b7f9b240605ac03517d9f98cbc1893daa03f3c038"
  18. name = "github.com/coreos/go-semver"
  19. packages = ["semver"]
  20. pruneopts = "UT"
  21. revision = "8ab6407b697782a06568d4b7f1db25550ec2e4c6"
  22. version = "v0.2.0"
  23. [[projects]]
  24. digest = "1:caf7d199019565155810a525f332ad40d691095560e4bdf8acd02fffb0608f7e"
  25. name = "github.com/coreos/go-systemd"
  26. packages = [
  27. "daemon",
  28. "journal",
  29. "util",
  30. ]
  31. pruneopts = "UT"
  32. revision = "39ca1b05acc7ad1220e09f133283b8859a8b71ab"
  33. version = "v17"
  34. [[projects]]
  35. digest = "1:f5e7a28fc94786fd824a85ba27445eea2676ea5019c7c9ebc0c350b0895673a4"
  36. name = "github.com/coreos/pkg"
  37. packages = [
  38. "capnslog",
  39. "dlopen",
  40. ]
  41. pruneopts = "UT"
  42. revision = "3ac0863d7acf3bc44daf49afef8919af12f704ef"
  43. version = "v3"
  44. [[projects]]
  45. digest = "1:76dc72490af7174349349838f2fe118996381b31ea83243812a97e5a0fd5ed55"
  46. name = "github.com/dgrijalva/jwt-go"
  47. packages = ["."]
  48. pruneopts = "UT"
  49. revision = "06ea1031745cb8b3dab3f6a236daf2b0aa468b7e"
  50. version = "v3.2.0"
  51. [[projects]]
  52. digest = "1:ee7fe6a68ba9f21bc748293d4e1e66ad327f64a89b0f5ba2d021430babd4b8c9"
  53. name = "github.com/dustin/go-humanize"
  54. packages = ["."]
  55. pruneopts = "UT"
  56. revision = "bb3d318650d48840a39aa21a027c6630e198e626"
  57. [[projects]]
  58. digest = "1:2cd7915ab26ede7d95b8749e6b1f933f1c6d5398030684e6505940a10f31cfda"
  59. name = "github.com/ghodss/yaml"
  60. packages = ["."]
  61. pruneopts = "UT"
  62. revision = "0ca9ea5df5451ffdf184b4428c902747c2c11cd7"
  63. version = "v1.0.0"
  64. [[projects]]
  65. digest = "1:8f13f978d35181fada0ea713c14a224f2b329fa91c13438b2811331ecd8b16e1"
  66. name = "github.com/gogo/protobuf"
  67. packages = [
  68. "gogoproto",
  69. "proto",
  70. "protoc-gen-gogo/descriptor",
  71. ]
  72. pruneopts = "UT"
  73. revision = "1adfc126b41513cc696b209667c8656ea7aac67c"
  74. version = "v1.0.0"
  75. [[projects]]
  76. digest = "1:7672c206322f45b33fac1ae2cb899263533ce0adcc6481d207725560208ec84e"
  77. name = "github.com/golang/groupcache"
  78. packages = ["lru"]
  79. pruneopts = "UT"
  80. revision = "02826c3e79038b59d737d3b1c0a1d937f71a4433"
  81. [[projects]]
  82. digest = "1:69d5e4ea47a10826ceeacc88f99b1f3e509b07690cee667d70e13b5dd505bdcc"
  83. name = "github.com/golang/protobuf"
  84. packages = [
  85. "jsonpb",
  86. "proto",
  87. "ptypes",
  88. "ptypes/any",
  89. "ptypes/duration",
  90. "ptypes/struct",
  91. "ptypes/timestamp",
  92. ]
  93. pruneopts = "UT"
  94. revision = "b4deda0973fb4c70b50d226b1af49f3da59f5265"
  95. version = "v1.1.0"
  96. [[projects]]
  97. digest = "1:9887333bbef17574b1db5f9893ea137ac44107235d624408a3ac9e0b98fbb2cb"
  98. name = "github.com/google/btree"
  99. packages = ["."]
  100. pruneopts = "UT"
  101. revision = "e89373fe6b4a7413d7acd6da1725b83ef713e6e4"
  102. [[projects]]
  103. digest = "1:269d9336f94f48817bc0958dae75c285cb0d107cbfe3e1bc6b69d9105d427748"
  104. name = "github.com/gorilla/websocket"
  105. packages = ["."]
  106. pruneopts = "UT"
  107. revision = "4201258b820c74ac8e6922fc9e6b52f71fe46f8d"
  108. [[projects]]
  109. digest = "1:d4fb49314d7f792a14c72f094f8fcb9ecfdf7a4c3e2186efb1f3d3a88806a844"
  110. name = "github.com/grpc-ecosystem/go-grpc-middleware"
  111. packages = [
  112. ".",
  113. "util/backoffutils",
  114. ]
  115. pruneopts = "UT"
  116. revision = "c250d6563d4d4c20252cd865923440e829844f4e"
  117. version = "v1.0.0"
  118. [[projects]]
  119. digest = "1:9b7a07ac7577787a8ecc1334cb9f34df1c76ed82a917d556c5713d3ab84fbc43"
  120. name = "github.com/grpc-ecosystem/go-grpc-prometheus"
  121. packages = ["."]
  122. pruneopts = "UT"
  123. revision = "c225b8c3b01faf2899099b768856a9e916e5087b"
  124. version = "v1.2.0"
  125. [[projects]]
  126. digest = "1:6a06217fc753e65aea71446b777393009ef6797dadc0086c4f75bd16590be04d"
  127. name = "github.com/grpc-ecosystem/grpc-gateway"
  128. packages = [
  129. "runtime",
  130. "runtime/internal",
  131. "utilities",
  132. ]
  133. pruneopts = "UT"
  134. revision = "92583770e3f01b09a0d3e9bdf64321d8bebd48f2"
  135. version = "v1.4.1"
  136. [[projects]]
  137. digest = "1:870d441fe217b8e689d7949fef6e43efbc787e50f200cb1e70dbca9204a1d6be"
  138. name = "github.com/inconshreveable/mousetrap"
  139. packages = ["."]
  140. pruneopts = "UT"
  141. revision = "76626ae9c91c4f2a10f34cad8ce83ea42c93bb75"
  142. version = "v1.0"
  143. [[projects]]
  144. digest = "1:75ab90ae3f5d876167e60f493beadfe66f0ed861a710f283fb06c86437a09538"
  145. name = "github.com/jonboulle/clockwork"
  146. packages = ["."]
  147. pruneopts = "UT"
  148. revision = "2eee05ed794112d45db504eb05aa693efd2b8b09"
  149. version = "v0.1.0"
  150. [[projects]]
  151. digest = "1:075fe2b22b9fcec90cecd98546c2096d73a3ab9458261f5647512fba3e0420eb"
  152. name = "github.com/kr/pty"
  153. packages = ["."]
  154. pruneopts = "UT"
  155. revision = "2c10821df3c3cf905230d078702dfbe9404c9b23"
  156. version = "v1.0.0"
  157. [[projects]]
  158. digest = "1:e2d1d410fb367567c2b53ed9e2d719d3c1f0891397bb2fa49afd747cfbf1e8e4"
  159. name = "github.com/mattn/go-runewidth"
  160. packages = ["."]
  161. pruneopts = "UT"
  162. revision = "9e777a8366cce605130a531d2cd6363d07ad7317"
  163. version = "v0.0.2"
  164. [[projects]]
  165. digest = "1:5985ef4caf91ece5d54817c11ea25f182697534f8ae6521eadcd628c142ac4b6"
  166. name = "github.com/matttproud/golang_protobuf_extensions"
  167. packages = ["pbutil"]
  168. pruneopts = "UT"
  169. revision = "3247c84500bff8d9fb6d579d800f20b3e091582c"
  170. version = "v1.0.0"
  171. [[projects]]
  172. digest = "1:51c406be3d166964b459a34db5faaafe8b4cc28e123e644f5274db97e558c791"
  173. name = "github.com/olekukonko/tablewriter"
  174. packages = ["."]
  175. pruneopts = "UT"
  176. revision = "a0225b3f23b5ce0cbec6d7a66a968f8a59eca9c4"
  177. [[projects]]
  178. branch = "master"
  179. digest = "1:3bf17a6e6eaa6ad24152148a631d18662f7212e21637c2699bff3369b7f00fa2"
  180. name = "github.com/petar/GoLLRB"
  181. packages = ["llrb"]
  182. pruneopts = "UT"
  183. revision = "53be0d36a84c2a886ca057d34b6aa4468df9ccb4"
  184. [[projects]]
  185. digest = "1:d14a5f4bfecf017cb780bdde1b6483e5deb87e12c332544d2c430eda58734bcb"
  186. name = "github.com/prometheus/client_golang"
  187. packages = [
  188. "prometheus",
  189. "prometheus/promhttp",
  190. ]
  191. pruneopts = "UT"
  192. revision = "c5b7fccd204277076155f10851dad72b76a49317"
  193. version = "v0.8.0"
  194. [[projects]]
  195. digest = "1:32d10bdfa8f09ecf13598324dba86ab891f11db3c538b6a34d1c3b5b99d7c36b"
  196. name = "github.com/prometheus/client_model"
  197. packages = ["go"]
  198. pruneopts = "UT"
  199. revision = "6f3806018612930941127f2a7c6c453ba2c527d2"
  200. [[projects]]
  201. branch = "master"
  202. digest = "1:e469cd65badf7694aeb44874518606d93c1d59e7735d3754ad442782437d3cc3"
  203. name = "github.com/prometheus/common"
  204. packages = [
  205. "expfmt",
  206. "internal/bitbucket.org/ww/goautoneg",
  207. "model",
  208. ]
  209. pruneopts = "UT"
  210. revision = "7600349dcfe1abd18d72d3a1770870d9800a7801"
  211. [[projects]]
  212. branch = "master"
  213. digest = "1:5b52592ee5c75444338e0949f8e80fca7d616c1bcc209b9336a1861b526400fb"
  214. name = "github.com/prometheus/procfs"
  215. packages = [
  216. ".",
  217. "internal/util",
  218. "nfs",
  219. "xfs",
  220. ]
  221. pruneopts = "UT"
  222. revision = "7d6f385de8bea29190f15ba9931442a0eaef9af7"
  223. [[projects]]
  224. digest = "1:9e9193aa51197513b3abcb108970d831fbcf40ef96aa845c4f03276e1fa316d2"
  225. name = "github.com/sirupsen/logrus"
  226. packages = ["."]
  227. pruneopts = "UT"
  228. revision = "c155da19408a8799da419ed3eeb0cb5db0ad5dbc"
  229. version = "v1.0.5"
  230. [[projects]]
  231. digest = "1:30e06e6d62a1d694e3cdbff29d8a9a96022e05a487d0c6eaf0ef898965ef28fb"
  232. name = "github.com/soheilhy/cmux"
  233. packages = ["."]
  234. pruneopts = "UT"
  235. revision = "e09e9389d85d8492d313d73d1469c029e710623f"
  236. version = "v0.1.4"
  237. [[projects]]
  238. digest = "1:645cabccbb4fa8aab25a956cbcbdf6a6845ca736b2c64e197ca7cbb9d210b939"
  239. name = "github.com/spf13/cobra"
  240. packages = ["."]
  241. pruneopts = "UT"
  242. revision = "ef82de70bb3f60c65fb8eebacbb2d122ef517385"
  243. version = "v0.0.3"
  244. [[projects]]
  245. digest = "1:9424f440bba8f7508b69414634aef3b2b3a877e522d8a4624692412805407bb7"
  246. name = "github.com/spf13/pflag"
  247. packages = ["."]
  248. pruneopts = "UT"
  249. revision = "583c0c0531f06d5278b7d917446061adc344b5cd"
  250. version = "v1.0.1"
  251. [[projects]]
  252. digest = "1:28aee88434fcefe93f513c55f793bc36362b88c0ae40e63033899fb78ddfd402"
  253. name = "github.com/tmc/grpc-websocket-proxy"
  254. packages = ["wsproxy"]
  255. pruneopts = "UT"
  256. revision = "89b8d40f7ca833297db804fcb3be53a76d01c238"
  257. [[projects]]
  258. digest = "1:03aa6e485e528acb119fb32901cf99582c380225fc7d5a02758e08b180cb56c3"
  259. name = "github.com/ugorji/go"
  260. packages = ["codec"]
  261. pruneopts = "UT"
  262. revision = "b4c50a2b199d93b13dc15e78929cfb23bfdf21ab"
  263. version = "v1.1.1"
  264. [[projects]]
  265. digest = "1:46ed28d956228a4113be4e08ba8fae6d78b154bbf78cb7c2108ab157faaac8dc"
  266. name = "github.com/urfave/cli"
  267. packages = ["."]
  268. pruneopts = "UT"
  269. revision = "1efa31f08b9333f1bd4882d61f9d668a70cd902e"
  270. version = "v1.18.0"
  271. [[projects]]
  272. digest = "1:6dff6d02950c110d7d61da0c200eaff9da9f312101291b2d8c07235954eaa19d"
  273. name = "github.com/xiang90/probing"
  274. packages = ["."]
  275. pruneopts = "UT"
  276. revision = "07dd2e8dfe18522e9c447ba95f2fe95262f63bb2"
  277. version = "0.0.1"
  278. [[projects]]
  279. digest = "1:c28625428387b63dd7154eb857f51e700465cfbf7c06f619e71f2da33cefe47e"
  280. name = "go.etcd.io/bbolt"
  281. packages = ["."]
  282. pruneopts = "UT"
  283. revision = "acbc2c426a444a65e0cbfdcbb3573857bf18b465"
  284. version = "v1.3.1-etcd.7"
  285. [[projects]]
  286. digest = "1:3c1a69cdae3501bf75e76d0d86dc6f2b0a7421bc205c0cb7b96b19eed464a34d"
  287. name = "go.uber.org/atomic"
  288. packages = ["."]
  289. pruneopts = "UT"
  290. revision = "1ea20fb1cbb1cc08cbd0d913a96dead89aa18289"
  291. version = "v1.3.2"
  292. [[projects]]
  293. digest = "1:60bf2a5e347af463c42ed31a493d817f8a72f102543060ed992754e689805d1a"
  294. name = "go.uber.org/multierr"
  295. packages = ["."]
  296. pruneopts = "UT"
  297. revision = "3c4937480c32f4c13a875a1829af76c98ca3d40a"
  298. version = "v1.1.0"
  299. [[projects]]
  300. digest = "1:9580b1b079114140ade8cec957685344d14f00119e0241f6b369633cb346eeb3"
  301. name = "go.uber.org/zap"
  302. packages = [
  303. ".",
  304. "buffer",
  305. "internal/bufferpool",
  306. "internal/color",
  307. "internal/exit",
  308. "zapcore",
  309. ]
  310. pruneopts = "UT"
  311. revision = "eeedf312bc6c57391d84767a4cd413f02a917974"
  312. version = "v1.8.0"
  313. [[projects]]
  314. branch = "master"
  315. digest = "1:001a4e7a40e50ff2ef32e2556bca50c4f77daa457db3ac6afc8bea9bb2122cfb"
  316. name = "golang.org/x/crypto"
  317. packages = [
  318. "bcrypt",
  319. "blowfish",
  320. "ssh/terminal",
  321. ]
  322. pruneopts = "UT"
  323. revision = "8ac0e0d97ce45cd83d1d7243c060cb8461dda5e9"
  324. [[projects]]
  325. branch = "master"
  326. digest = "1:fc34fe79cf436681e18fdfad303dbe6a9caa69e8058006e8819ba9660f8e5fb5"
  327. name = "golang.org/x/net"
  328. packages = [
  329. "context",
  330. "http/httpguts",
  331. "http2",
  332. "http2/hpack",
  333. "idna",
  334. "internal/timeseries",
  335. "trace",
  336. ]
  337. pruneopts = "UT"
  338. revision = "db08ff08e8622530d9ed3a0e8ac279f6d4c02196"
  339. [[projects]]
  340. branch = "master"
  341. digest = "1:7e6d7e1a44eeefc8cd35d6445042f246702656a6597987db850c30a11f2d65d5"
  342. name = "golang.org/x/sys"
  343. packages = [
  344. "unix",
  345. "windows",
  346. ]
  347. pruneopts = "UT"
  348. revision = "56ede360ec1c541828fb88741b3f1049406d28f5"
  349. [[projects]]
  350. digest = "1:a2ab62866c75542dd18d2b069fec854577a20211d7c0ea6ae746072a1dccdd18"
  351. name = "golang.org/x/text"
  352. packages = [
  353. "collate",
  354. "collate/build",
  355. "internal/colltab",
  356. "internal/gen",
  357. "internal/tag",
  358. "internal/triegen",
  359. "internal/ucd",
  360. "language",
  361. "secure/bidirule",
  362. "transform",
  363. "unicode/bidi",
  364. "unicode/cldr",
  365. "unicode/norm",
  366. "unicode/rangetable",
  367. ]
  368. pruneopts = "UT"
  369. revision = "f21a4dfb5e38f5895301dc265a8def02365cc3d0"
  370. version = "v0.3.0"
  371. [[projects]]
  372. branch = "master"
  373. digest = "1:c9e7a4b4d47c0ed205d257648b0e5b0440880cb728506e318f8ac7cd36270bc4"
  374. name = "golang.org/x/time"
  375. packages = ["rate"]
  376. pruneopts = "UT"
  377. revision = "fbb02b2291d28baffd63558aa44b4b56f178d650"
  378. [[projects]]
  379. branch = "master"
  380. digest = "1:601e63e7d4577f907118bec825902505291918859d223bce015539e79f1160e3"
  381. name = "google.golang.org/genproto"
  382. packages = ["googleapis/rpc/status"]
  383. pruneopts = "UT"
  384. revision = "32ee49c4dd805befd833990acba36cb75042378c"
  385. [[projects]]
  386. digest = "1:047efbc3c9a51f3002b0002f92543857d372654a676fb6b01931982cd80467dd"
  387. name = "google.golang.org/grpc"
  388. packages = [
  389. ".",
  390. "balancer",
  391. "balancer/base",
  392. "balancer/roundrobin",
  393. "codes",
  394. "connectivity",
  395. "credentials",
  396. "encoding",
  397. "encoding/proto",
  398. "grpclog",
  399. "health",
  400. "health/grpc_health_v1",
  401. "internal",
  402. "internal/backoff",
  403. "internal/channelz",
  404. "internal/envconfig",
  405. "internal/grpcrand",
  406. "internal/transport",
  407. "keepalive",
  408. "metadata",
  409. "naming",
  410. "peer",
  411. "resolver",
  412. "resolver/dns",
  413. "resolver/passthrough",
  414. "stats",
  415. "status",
  416. "tap",
  417. ]
  418. pruneopts = "UT"
  419. revision = "32fb0ac620c32ba40a4626ddf94d90d12cce3455"
  420. version = "v1.14.0"
  421. [[projects]]
  422. digest = "1:d8cd4f14785b5ae65100524a29ebba8b9dfc5401020fe7504f80b438bb8e8e0d"
  423. name = "gopkg.in/cheggaaa/pb.v1"
  424. packages = ["."]
  425. pruneopts = "UT"
  426. revision = "2af8bbdea9e99e83b3ac400d8f6b6d1b8cbbf338"
  427. version = "v1.0.25"
  428. [[projects]]
  429. digest = "1:342378ac4dcb378a5448dd723f0784ae519383532f5e70ade24132c4c8693202"
  430. name = "gopkg.in/yaml.v2"
  431. packages = ["."]
  432. pruneopts = "UT"
  433. revision = "5420a8b6744d3b0345ab293f6fcba19c978f1183"
  434. version = "v2.2.1"
  435. [solve-meta]
  436. analyzer-name = "dep"
  437. analyzer-version = 1
  438. input-imports = [
  439. "github.com/bgentry/speakeasy",
  440. "github.com/coreos/go-semver/semver",
  441. "github.com/coreos/go-systemd/daemon",
  442. "github.com/coreos/go-systemd/journal",
  443. "github.com/coreos/go-systemd/util",
  444. "github.com/coreos/pkg/capnslog",
  445. "github.com/dgrijalva/jwt-go",
  446. "github.com/dustin/go-humanize",
  447. "github.com/ghodss/yaml",
  448. "github.com/gogo/protobuf/gogoproto",
  449. "github.com/gogo/protobuf/proto",
  450. "github.com/golang/groupcache/lru",
  451. "github.com/golang/protobuf/proto",
  452. "github.com/google/btree",
  453. "github.com/grpc-ecosystem/go-grpc-middleware",
  454. "github.com/grpc-ecosystem/go-grpc-middleware/util/backoffutils",
  455. "github.com/grpc-ecosystem/go-grpc-prometheus",
  456. "github.com/grpc-ecosystem/grpc-gateway/runtime",
  457. "github.com/grpc-ecosystem/grpc-gateway/utilities",
  458. "github.com/jonboulle/clockwork",
  459. "github.com/kr/pty",
  460. "github.com/olekukonko/tablewriter",
  461. "github.com/prometheus/client_golang/prometheus",
  462. "github.com/prometheus/client_golang/prometheus/promhttp",
  463. "github.com/prometheus/client_model/go",
  464. "github.com/soheilhy/cmux",
  465. "github.com/spf13/cobra",
  466. "github.com/spf13/pflag",
  467. "github.com/tmc/grpc-websocket-proxy/wsproxy",
  468. "github.com/ugorji/go/codec",
  469. "github.com/urfave/cli",
  470. "github.com/xiang90/probing",
  471. "go.etcd.io/bbolt",
  472. "go.uber.org/zap",
  473. "go.uber.org/zap/zapcore",
  474. "golang.org/x/crypto/bcrypt",
  475. "golang.org/x/net/context",
  476. "golang.org/x/net/http2",
  477. "golang.org/x/net/trace",
  478. "golang.org/x/time/rate",
  479. "google.golang.org/grpc",
  480. "google.golang.org/grpc/balancer",
  481. "google.golang.org/grpc/codes",
  482. "google.golang.org/grpc/connectivity",
  483. "google.golang.org/grpc/credentials",
  484. "google.golang.org/grpc/grpclog",
  485. "google.golang.org/grpc/health",
  486. "google.golang.org/grpc/health/grpc_health_v1",
  487. "google.golang.org/grpc/keepalive",
  488. "google.golang.org/grpc/metadata",
  489. "google.golang.org/grpc/naming",
  490. "google.golang.org/grpc/peer",
  491. "google.golang.org/grpc/resolver",
  492. "google.golang.org/grpc/resolver/dns",
  493. "google.golang.org/grpc/resolver/passthrough",
  494. "google.golang.org/grpc/status",
  495. "gopkg.in/cheggaaa/pb.v1",
  496. "gopkg.in/yaml.v2",
  497. ]
  498. solver-name = "gps-cdcl"
  499. solver-version = 1