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]]
|
|
name = "github.com/sadbox/mediawiki"
|
|
packages = ["."]
|
|
revision = "39fea8a1336076a961a300d1d95765dcd17e8a3c"
|
|
version = "v0.1"
|
|
|
|
[solve-meta]
|
|
analyzer-name = "dep"
|
|
analyzer-version = 1
|
|
inputs-digest = "875ef87fe71f1595d9be3e43d2eba538fdb3c449361cf31b521971c297745867"
|
|
solver-name = "gps-cdcl"
|
|
solver-version = 1
|