diff options
Diffstat (limited to 'versions')
| -rw-r--r-- | versions/baseline.json | 4 | ||||
| -rw-r--r-- | versions/y-/yyjson.json | 9 |
2 files changed, 13 insertions, 0 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index da35d7de1..2fd05cd8a 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -6592,6 +6592,10 @@ "baseline": "1.18.0-1", "port-version": 0 }, + "yyjson": { + "baseline": "2021-04-12", + "port-version": 0 + }, "z3": { "baseline": "4.8.9", "port-version": 0 diff --git a/versions/y-/yyjson.json b/versions/y-/yyjson.json new file mode 100644 index 000000000..671f4c066 --- /dev/null +++ b/versions/y-/yyjson.json @@ -0,0 +1,9 @@ +{ + "versions": [ + { + "git-tree": "17bac25e372c49899aae3a59d5725cc614f65165", + "version-date": "2021-04-12", + "port-version": 0 + } + ] +} |
