1 # This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'.
5 digest = "1:40e195917a951a8bf867cd05de2a46aaf1806c50cf92eebf4c16f78cd196f747"
6 name = "github.com/pkg/errors"
9 revision = "645ef00459ed84a119197bfb8d8205042c6df63d"
13 digest = "1:342378ac4dcb378a5448dd723f0784ae519383532f5e70ade24132c4c8693202"
14 name = "gopkg.in/yaml.v2"
17 revision = "5420a8b6744d3b0345ab293f6fcba19c978f1183"
24 "github.com/pkg/errors",
27 solver-name = "gps-cdcl"