Платформа ЦРНП "Мирокод" для разработки проектов
https://git.mirocod.ru
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.
15 lines
433 B
15 lines
433 B
# 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
|
|
|