# This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'. [[projects]] name = "github.com/davecgh/go-spew" packages = ["spew"] revision = "346938d642f2ec3594ed81d874461961cd0faa76" version = "v1.1.0" [[projects]] branch = "master" name = "github.com/maruel/panicparse" packages = ["stack"] revision = "4417700b5a8d33fbb4416bb04359d20329f60008" [[projects]] name = "github.com/mattn/go-runewidth" packages = ["."] revision = "9e777a8366cce605130a531d2cd6363d07ad7317" version = "v0.0.2" [[projects]] branch = "master" name = "github.com/mitchellh/go-wordwrap" packages = ["."] revision = "ad45545899c7b13c020ea92b2072220eefad42b8" [[projects]] branch = "master" name = "github.com/nsf/termbox-go" packages = ["."] revision = "5c94acc5e6eb520f1bcd183974e01171cc4c23b3" [[projects]] name = "github.com/pmezard/go-difflib" packages = ["difflib"] revision = "792786c7400a136282c1664665ae0a8db921c6c2" version = "v1.0.0" [[projects]] name = "github.com/stretchr/testify" packages = ["assert"] revision = "f35b8ab0b5a2cef36673838d662e249dd9c94686" version = "v1.2.2" [[projects]] branch = "master" name = "golang.org/x/net" packages = ["websocket"] revision = "f4c29de78a2a91c00474a2e689954305c350adf9" [solve-meta] analyzer-name = "dep" analyzer-version = 1 inputs-digest = "0d20d9e695a3033eb9c49b41a66787c1465e6cc8ba4f8d7ef8488b3b686b530d" solver-name = "gps-cdcl" solver-version = 1