Gopkg.lock 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696
  1. # This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'.
  2. [[projects]]
  3. name = "cloud.google.com/go"
  4. packages = ["compute/metadata"]
  5. revision = "056a55f54a6cc77b440b31a56a5e7c3982d32811"
  6. version = "v0.22.0"
  7. [[projects]]
  8. name = "github.com/BurntSushi/toml"
  9. packages = ["."]
  10. revision = "b26d9c308763d68093482582cea63d69be07a0f0"
  11. version = "v0.3.0"
  12. [[projects]]
  13. branch = "master"
  14. name = "github.com/Unknwon/com"
  15. packages = ["."]
  16. revision = "7677a1d7c1137cd3dd5ba7a076d0c898a1ef4520"
  17. [[projects]]
  18. branch = "master"
  19. name = "github.com/VividCortex/mysqlerr"
  20. packages = ["."]
  21. revision = "6c6b55f8796f578c870b7e19bafb16103bc40095"
  22. [[projects]]
  23. name = "github.com/aws/aws-sdk-go"
  24. packages = [
  25. "aws",
  26. "aws/awserr",
  27. "aws/awsutil",
  28. "aws/client",
  29. "aws/client/metadata",
  30. "aws/corehandlers",
  31. "aws/credentials",
  32. "aws/credentials/ec2rolecreds",
  33. "aws/credentials/endpointcreds",
  34. "aws/credentials/stscreds",
  35. "aws/csm",
  36. "aws/defaults",
  37. "aws/ec2metadata",
  38. "aws/endpoints",
  39. "aws/request",
  40. "aws/session",
  41. "aws/signer/v4",
  42. "internal/sdkio",
  43. "internal/sdkrand",
  44. "internal/shareddefaults",
  45. "private/protocol",
  46. "private/protocol/ec2query",
  47. "private/protocol/eventstream",
  48. "private/protocol/eventstream/eventstreamapi",
  49. "private/protocol/query",
  50. "private/protocol/query/queryutil",
  51. "private/protocol/rest",
  52. "private/protocol/restxml",
  53. "private/protocol/xml/xmlutil",
  54. "service/cloudwatch",
  55. "service/ec2",
  56. "service/ec2/ec2iface",
  57. "service/s3",
  58. "service/sts"
  59. ]
  60. revision = "fde4ded7becdeae4d26bf1212916aabba79349b4"
  61. version = "v1.14.12"
  62. [[projects]]
  63. branch = "master"
  64. name = "github.com/benbjohnson/clock"
  65. packages = ["."]
  66. revision = "7dc76406b6d3c05b5f71a86293cbcf3c4ea03b19"
  67. [[projects]]
  68. branch = "master"
  69. name = "github.com/beorn7/perks"
  70. packages = ["quantile"]
  71. revision = "3a771d992973f24aa725d07868b467d1ddfceafb"
  72. [[projects]]
  73. branch = "master"
  74. name = "github.com/bmizerany/assert"
  75. packages = ["."]
  76. revision = "b7ed37b82869576c289d7d97fb2bbd8b64a0cb28"
  77. [[projects]]
  78. branch = "master"
  79. name = "github.com/bradfitz/gomemcache"
  80. packages = ["memcache"]
  81. revision = "1952afaa557dc08e8e0d89eafab110fb501c1a2b"
  82. [[projects]]
  83. branch = "master"
  84. name = "github.com/codahale/hdrhistogram"
  85. packages = ["."]
  86. revision = "3a0bb77429bd3a61596f5e8a3172445844342120"
  87. [[projects]]
  88. name = "github.com/codegangsta/cli"
  89. packages = ["."]
  90. revision = "cfb38830724cc34fedffe9a2a29fb54fa9169cd1"
  91. version = "v1.20.0"
  92. [[projects]]
  93. name = "github.com/davecgh/go-spew"
  94. packages = ["spew"]
  95. revision = "346938d642f2ec3594ed81d874461961cd0faa76"
  96. version = "v1.1.0"
  97. [[projects]]
  98. name = "github.com/denisenkom/go-mssqldb"
  99. packages = [
  100. ".",
  101. "internal/cp"
  102. ]
  103. revision = "270bc3860bb94dd3a3ffd047377d746c5e276726"
  104. [[projects]]
  105. branch = "master"
  106. name = "github.com/facebookgo/inject"
  107. packages = ["."]
  108. revision = "cc1aa653e50f6a9893bcaef89e673e5b24e1e97b"
  109. [[projects]]
  110. branch = "master"
  111. name = "github.com/facebookgo/structtag"
  112. packages = ["."]
  113. revision = "217e25fb96916cc60332e399c9aa63f5c422ceed"
  114. [[projects]]
  115. name = "github.com/fatih/color"
  116. packages = ["."]
  117. revision = "5b77d2a35fb0ede96d138fc9a99f5c9b6aef11b4"
  118. version = "v1.7.0"
  119. [[projects]]
  120. name = "github.com/go-ini/ini"
  121. packages = ["."]
  122. revision = "6529cf7c58879c08d927016dde4477f18a0634cb"
  123. version = "v1.36.0"
  124. [[projects]]
  125. name = "github.com/go-ldap/ldap"
  126. packages = ["."]
  127. revision = "bb7a9ca6e4fbc2129e3db588a34bc970ffe811a9"
  128. version = "v2.5.1"
  129. [[projects]]
  130. branch = "master"
  131. name = "github.com/go-macaron/binding"
  132. packages = ["."]
  133. revision = "ac54ee249c27dca7e76fad851a4a04b73bd1b183"
  134. [[projects]]
  135. branch = "master"
  136. name = "github.com/go-macaron/gzip"
  137. packages = ["."]
  138. revision = "cad1c6580a07c56f5f6bc52d66002a05985c5854"
  139. [[projects]]
  140. branch = "master"
  141. name = "github.com/go-macaron/inject"
  142. packages = ["."]
  143. revision = "d8a0b8677191f4380287cfebd08e462217bac7ad"
  144. [[projects]]
  145. branch = "master"
  146. name = "github.com/go-macaron/session"
  147. packages = [
  148. ".",
  149. "memcache",
  150. "postgres",
  151. "redis"
  152. ]
  153. revision = "b8e286a0dba8f4999042d6b258daf51b31d08938"
  154. [[projects]]
  155. name = "github.com/go-sql-driver/mysql"
  156. packages = ["."]
  157. revision = "2cc627ac8defc45d65066ae98f898166f580f9a4"
  158. [[projects]]
  159. name = "github.com/go-stack/stack"
  160. packages = ["."]
  161. revision = "259ab82a6cad3992b4e21ff5cac294ccb06474bc"
  162. version = "v1.7.0"
  163. [[projects]]
  164. name = "github.com/go-xorm/builder"
  165. packages = ["."]
  166. revision = "bad0a612f0d6277b953910822ab5dfb30dd18237"
  167. version = "v0.2.0"
  168. [[projects]]
  169. name = "github.com/go-xorm/core"
  170. packages = ["."]
  171. revision = "da1adaf7a28ca792961721a34e6e04945200c890"
  172. version = "v0.5.7"
  173. [[projects]]
  174. name = "github.com/go-xorm/xorm"
  175. packages = ["."]
  176. revision = "1933dd69e294c0a26c0266637067f24dbb25770c"
  177. version = "v0.6.4"
  178. [[projects]]
  179. branch = "master"
  180. name = "github.com/golang/protobuf"
  181. packages = [
  182. "proto",
  183. "ptypes",
  184. "ptypes/any",
  185. "ptypes/duration",
  186. "ptypes/timestamp"
  187. ]
  188. revision = "927b65914520a8b7d44f5c9057611cfec6b2e2d0"
  189. [[projects]]
  190. branch = "master"
  191. name = "github.com/gopherjs/gopherjs"
  192. packages = ["js"]
  193. revision = "8dffc02ea1cb8398bb73f30424697c60fcf8d4c5"
  194. [[projects]]
  195. name = "github.com/gorilla/websocket"
  196. packages = ["."]
  197. revision = "ea4d1f681babbce9545c9c5f3d5194a789c89f5b"
  198. version = "v1.2.0"
  199. [[projects]]
  200. name = "github.com/gosimple/slug"
  201. packages = ["."]
  202. revision = "e9f42fa127660e552d0ad2b589868d403a9be7c6"
  203. version = "v1.1.1"
  204. [[projects]]
  205. branch = "master"
  206. name = "github.com/grafana/grafana-plugin-model"
  207. packages = [
  208. "go/datasource",
  209. "go/renderer"
  210. ]
  211. revision = "84176c64269d8060f99e750ee8aba6f062753336"
  212. [[projects]]
  213. branch = "master"
  214. name = "github.com/hashicorp/go-hclog"
  215. packages = ["."]
  216. revision = "69ff559dc25f3b435631604f573a5fa1efdb6433"
  217. [[projects]]
  218. name = "github.com/hashicorp/go-plugin"
  219. packages = ["."]
  220. revision = "e8d22c780116115ae5624720c9af0c97afe4f551"
  221. [[projects]]
  222. branch = "master"
  223. name = "github.com/hashicorp/go-version"
  224. packages = ["."]
  225. revision = "23480c0665776210b5fbbac6eaaee40e3e6a96b7"
  226. [[projects]]
  227. branch = "master"
  228. name = "github.com/hashicorp/yamux"
  229. packages = ["."]
  230. revision = "7221087c3d281fda5f794e28c2ea4c6e4d5c4558"
  231. [[projects]]
  232. name = "github.com/inconshreveable/log15"
  233. packages = ["."]
  234. revision = "0decfc6c20d9ca0ad143b0e89dcaa20f810b4fb3"
  235. version = "v2.13"
  236. [[projects]]
  237. name = "github.com/jmespath/go-jmespath"
  238. packages = ["."]
  239. revision = "0b12d6b5"
  240. [[projects]]
  241. name = "github.com/jtolds/gls"
  242. packages = ["."]
  243. revision = "77f18212c9c7edc9bd6a33d383a7b545ce62f064"
  244. version = "v4.2.1"
  245. [[projects]]
  246. name = "github.com/klauspost/compress"
  247. packages = [
  248. "flate",
  249. "gzip"
  250. ]
  251. revision = "6c8db69c4b49dd4df1fff66996cf556176d0b9bf"
  252. version = "v1.2.1"
  253. [[projects]]
  254. name = "github.com/klauspost/cpuid"
  255. packages = ["."]
  256. revision = "ae7887de9fa5d2db4eaa8174a7eff2c1ac00f2da"
  257. version = "v1.1"
  258. [[projects]]
  259. name = "github.com/klauspost/crc32"
  260. packages = ["."]
  261. revision = "cb6bfca970f6908083f26f39a79009d608efd5cd"
  262. version = "v1.1"
  263. [[projects]]
  264. name = "github.com/kr/pretty"
  265. packages = ["."]
  266. revision = "73f6ac0b30a98e433b289500d779f50c1a6f0712"
  267. version = "v0.1.0"
  268. [[projects]]
  269. name = "github.com/kr/text"
  270. packages = ["."]
  271. revision = "e2ffdb16a802fe2bb95e2e35ff34f0e53aeef34f"
  272. version = "v0.1.0"
  273. [[projects]]
  274. branch = "master"
  275. name = "github.com/lib/pq"
  276. packages = [
  277. ".",
  278. "oid"
  279. ]
  280. revision = "d34b9ff171c21ad295489235aec8b6626023cd04"
  281. [[projects]]
  282. name = "github.com/mattn/go-colorable"
  283. packages = ["."]
  284. revision = "167de6bfdfba052fa6b2d3664c8f5272e23c9072"
  285. version = "v0.0.9"
  286. [[projects]]
  287. name = "github.com/mattn/go-isatty"
  288. packages = ["."]
  289. revision = "0360b2af4f38e8d38c7fce2a9f4e702702d73a39"
  290. version = "v0.0.3"
  291. [[projects]]
  292. name = "github.com/mattn/go-sqlite3"
  293. packages = ["."]
  294. revision = "323a32be5a2421b8c7087225079c6c900ec397cd"
  295. version = "v1.7.0"
  296. [[projects]]
  297. name = "github.com/matttproud/golang_protobuf_extensions"
  298. packages = ["pbutil"]
  299. revision = "3247c84500bff8d9fb6d579d800f20b3e091582c"
  300. version = "v1.0.0"
  301. [[projects]]
  302. branch = "master"
  303. name = "github.com/mitchellh/go-testing-interface"
  304. packages = ["."]
  305. revision = "a61a99592b77c9ba629d254a693acffaeb4b7e28"
  306. [[projects]]
  307. name = "github.com/oklog/run"
  308. packages = ["."]
  309. revision = "4dadeb3030eda0273a12382bb2348ffc7c9d1a39"
  310. version = "v1.0.0"
  311. [[projects]]
  312. name = "github.com/opentracing/opentracing-go"
  313. packages = [
  314. ".",
  315. "ext",
  316. "log"
  317. ]
  318. revision = "1949ddbfd147afd4d964a9f00b24eb291e0e7c38"
  319. version = "v1.0.2"
  320. [[projects]]
  321. name = "github.com/patrickmn/go-cache"
  322. packages = ["."]
  323. revision = "a3647f8e31d79543b2d0f0ae2fe5c379d72cedc0"
  324. version = "v2.1.0"
  325. [[projects]]
  326. name = "github.com/pkg/errors"
  327. packages = ["."]
  328. revision = "645ef00459ed84a119197bfb8d8205042c6df63d"
  329. version = "v0.8.0"
  330. [[projects]]
  331. name = "github.com/prometheus/client_golang"
  332. packages = [
  333. "api",
  334. "api/prometheus/v1",
  335. "prometheus",
  336. "prometheus/promhttp"
  337. ]
  338. revision = "967789050ba94deca04a5e84cce8ad472ce313c1"
  339. version = "v0.9.0-pre1"
  340. [[projects]]
  341. branch = "master"
  342. name = "github.com/prometheus/client_model"
  343. packages = ["go"]
  344. revision = "99fa1f4be8e564e8a6b613da7fa6f46c9edafc6c"
  345. [[projects]]
  346. branch = "master"
  347. name = "github.com/prometheus/common"
  348. packages = [
  349. "expfmt",
  350. "internal/bitbucket.org/ww/goautoneg",
  351. "model"
  352. ]
  353. revision = "d811d2e9bf898806ecfb6ef6296774b13ffc314c"
  354. [[projects]]
  355. branch = "master"
  356. name = "github.com/prometheus/procfs"
  357. packages = [
  358. ".",
  359. "internal/util",
  360. "nfs",
  361. "xfs"
  362. ]
  363. revision = "8b1c2da0d56deffdbb9e48d4414b4e674bd8083e"
  364. [[projects]]
  365. branch = "master"
  366. name = "github.com/rainycape/unidecode"
  367. packages = ["."]
  368. revision = "cb7f23ec59bec0d61b19c56cd88cee3d0cc1870c"
  369. [[projects]]
  370. name = "github.com/sergi/go-diff"
  371. packages = ["diffmatchpatch"]
  372. revision = "1744e2970ca51c86172c8190fadad617561ed6e7"
  373. version = "v1.0.0"
  374. [[projects]]
  375. name = "github.com/smartystreets/assertions"
  376. packages = [
  377. ".",
  378. "internal/go-render/render",
  379. "internal/oglematchers"
  380. ]
  381. revision = "7678a5452ebea5b7090a6b163f844c133f523da2"
  382. version = "1.8.3"
  383. [[projects]]
  384. name = "github.com/smartystreets/goconvey"
  385. packages = [
  386. "convey",
  387. "convey/gotest",
  388. "convey/reporting"
  389. ]
  390. revision = "9e8dc3f972df6c8fcc0375ef492c24d0bb204857"
  391. version = "1.6.3"
  392. [[projects]]
  393. branch = "master"
  394. name = "github.com/teris-io/shortid"
  395. packages = ["."]
  396. revision = "771a37caa5cf0c81f585d7b6df4dfc77e0615b5c"
  397. [[projects]]
  398. name = "github.com/uber/jaeger-client-go"
  399. packages = [
  400. ".",
  401. "config",
  402. "internal/baggage",
  403. "internal/baggage/remote",
  404. "internal/spanlog",
  405. "internal/throttler",
  406. "internal/throttler/remote",
  407. "log",
  408. "rpcmetrics",
  409. "thrift",
  410. "thrift-gen/agent",
  411. "thrift-gen/baggage",
  412. "thrift-gen/jaeger",
  413. "thrift-gen/sampling",
  414. "thrift-gen/zipkincore",
  415. "utils"
  416. ]
  417. revision = "b043381d944715b469fd6b37addfd30145ca1758"
  418. version = "v2.14.0"
  419. [[projects]]
  420. name = "github.com/uber/jaeger-lib"
  421. packages = ["metrics"]
  422. revision = "ed3a127ec5fef7ae9ea95b01b542c47fbd999ce5"
  423. version = "v1.5.0"
  424. [[projects]]
  425. name = "github.com/yudai/gojsondiff"
  426. packages = [
  427. ".",
  428. "formatter"
  429. ]
  430. revision = "7b1b7adf999dab73a6eb02669c3d82dbb27a3dd6"
  431. version = "1.0.0"
  432. [[projects]]
  433. branch = "master"
  434. name = "github.com/yudai/golcs"
  435. packages = ["."]
  436. revision = "ecda9a501e8220fae3b4b600c3db4b0ba22cfc68"
  437. [[projects]]
  438. branch = "master"
  439. name = "golang.org/x/crypto"
  440. packages = [
  441. "ed25519",
  442. "ed25519/internal/edwards25519",
  443. "md4",
  444. "pbkdf2"
  445. ]
  446. revision = "1a580b3eff7814fc9b40602fd35256c63b50f491"
  447. [[projects]]
  448. branch = "master"
  449. name = "golang.org/x/net"
  450. packages = [
  451. "context",
  452. "context/ctxhttp",
  453. "http/httpguts",
  454. "http2",
  455. "http2/hpack",
  456. "idna",
  457. "internal/timeseries",
  458. "trace"
  459. ]
  460. revision = "2491c5de3490fced2f6cff376127c667efeed857"
  461. [[projects]]
  462. branch = "master"
  463. name = "golang.org/x/oauth2"
  464. packages = [
  465. ".",
  466. "google",
  467. "internal",
  468. "jws",
  469. "jwt"
  470. ]
  471. revision = "cdc340f7c179dbbfa4afd43b7614e8fcadde4269"
  472. [[projects]]
  473. branch = "master"
  474. name = "golang.org/x/sync"
  475. packages = ["errgroup"]
  476. revision = "1d60e4601c6fd243af51cc01ddf169918a5407ca"
  477. [[projects]]
  478. branch = "master"
  479. name = "golang.org/x/sys"
  480. packages = ["unix"]
  481. revision = "7c87d13f8e835d2fb3a70a2912c811ed0c1d241b"
  482. [[projects]]
  483. name = "golang.org/x/text"
  484. packages = [
  485. "collate",
  486. "collate/build",
  487. "internal/colltab",
  488. "internal/gen",
  489. "internal/tag",
  490. "internal/triegen",
  491. "internal/ucd",
  492. "language",
  493. "secure/bidirule",
  494. "transform",
  495. "unicode/bidi",
  496. "unicode/cldr",
  497. "unicode/norm",
  498. "unicode/rangetable"
  499. ]
  500. revision = "f21a4dfb5e38f5895301dc265a8def02365cc3d0"
  501. version = "v0.3.0"
  502. [[projects]]
  503. name = "google.golang.org/appengine"
  504. packages = [
  505. ".",
  506. "cloudsql",
  507. "internal",
  508. "internal/app_identity",
  509. "internal/base",
  510. "internal/datastore",
  511. "internal/log",
  512. "internal/modules",
  513. "internal/remote_api",
  514. "internal/urlfetch",
  515. "urlfetch"
  516. ]
  517. revision = "150dc57a1b433e64154302bdc40b6bb8aefa313a"
  518. version = "v1.0.0"
  519. [[projects]]
  520. branch = "master"
  521. name = "google.golang.org/genproto"
  522. packages = ["googleapis/rpc/status"]
  523. revision = "7bb2a897381c9c5ab2aeb8614f758d7766af68ff"
  524. [[projects]]
  525. name = "google.golang.org/grpc"
  526. packages = [
  527. ".",
  528. "balancer",
  529. "balancer/base",
  530. "balancer/roundrobin",
  531. "codes",
  532. "connectivity",
  533. "credentials",
  534. "encoding",
  535. "encoding/proto",
  536. "grpclb/grpc_lb_v1/messages",
  537. "grpclog",
  538. "health",
  539. "health/grpc_health_v1",
  540. "internal",
  541. "keepalive",
  542. "metadata",
  543. "naming",
  544. "peer",
  545. "resolver",
  546. "resolver/dns",
  547. "resolver/passthrough",
  548. "stats",
  549. "status",
  550. "tap",
  551. "transport"
  552. ]
  553. revision = "1e2570b1b19ade82d8dbb31bba4e65e9f9ef5b34"
  554. version = "v1.11.1"
  555. [[projects]]
  556. branch = "v3"
  557. name = "gopkg.in/alexcesaro/quotedprintable.v3"
  558. packages = ["."]
  559. revision = "2caba252f4dc53eaf6b553000885530023f54623"
  560. [[projects]]
  561. name = "gopkg.in/asn1-ber.v1"
  562. packages = ["."]
  563. revision = "379148ca0225df7a432012b8df0355c2a2063ac0"
  564. version = "v1.2"
  565. [[projects]]
  566. name = "gopkg.in/bufio.v1"
  567. packages = ["."]
  568. revision = "567b2bfa514e796916c4747494d6ff5132a1dfce"
  569. version = "v1"
  570. [[projects]]
  571. name = "gopkg.in/ini.v1"
  572. packages = ["."]
  573. revision = "6529cf7c58879c08d927016dde4477f18a0634cb"
  574. version = "v1.36.0"
  575. [[projects]]
  576. name = "gopkg.in/macaron.v1"
  577. packages = ["."]
  578. revision = "c1be95e6d21e769e44e1ec33cec9da5837861c10"
  579. version = "v1.3.1"
  580. [[projects]]
  581. branch = "v2"
  582. name = "gopkg.in/mail.v2"
  583. packages = ["."]
  584. revision = "5bc5c8bb07bd8d2803831fbaf8cbd630fcde2c68"
  585. [[projects]]
  586. name = "gopkg.in/redis.v2"
  587. packages = ["."]
  588. revision = "e6179049628164864e6e84e973cfb56335748dea"
  589. version = "v2.3.2"
  590. [[projects]]
  591. name = "gopkg.in/square/go-jose.v2"
  592. packages = [
  593. ".",
  594. "cipher",
  595. "json"
  596. ]
  597. revision = "ef984e69dd356202fd4e4910d4d9c24468bdf0b8"
  598. version = "v2.1.9"
  599. [[projects]]
  600. name = "gopkg.in/yaml.v2"
  601. packages = ["."]
  602. revision = "5420a8b6744d3b0345ab293f6fcba19c978f1183"
  603. version = "v2.2.1"
  604. [solve-meta]
  605. analyzer-name = "dep"
  606. analyzer-version = 1
  607. inputs-digest = "6f7f271afd27f78b7d8ebe27436fee72c9925fb82a978bdc57fde44e01f3ca51"
  608. solver-name = "gps-cdcl"
  609. solver-version = 1