You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
433 B
16 lines
433 B
4 years ago
|
# This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'.
|
||
|
|
|
||
|
|
|
||
|
|
[[projects]]
|
||
|
|
branch = "master"
|
||
|
|
name = "github.com/pborman/getopt"
|
||
|
|
packages = ["v2"]
|
||
|
|
revision = "7148bc3a4c3008adfcab60cbebfd0576018f330b"
|
||
|
|
|
||
|
|
[solve-meta]
|
||
|
|
analyzer-name = "dep"
|
||
|
|
analyzer-version = 1
|
||
|
|
inputs-digest = "6779b05abd5cd429c5393641d2453005a3cb74a400d161b2b5c5d0ca2e10e116"
|
||
|
|
solver-name = "gps-cdcl"
|
||
|
|
solver-version = 1
|