diff options
Diffstat (limited to 'versions')
| -rw-r--r-- | versions/baseline.json | 2 | ||||
| -rw-r--r-- | versions/e-/embree3.json | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index cbdf4b98a..0611e4e8d 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -1842,7 +1842,7 @@ }, "embree3": { "baseline": "3.12.2", - "port-version": 1 + "port-version": 2 }, "enet": { "baseline": "1.3.16", diff --git a/versions/e-/embree3.json b/versions/e-/embree3.json index 6398dcdf8..88d98d2ec 100644 --- a/versions/e-/embree3.json +++ b/versions/e-/embree3.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "04c9ff8d31137bc08cd37662050a41dd5f1d8ecf", + "version-semver": "3.12.2", + "port-version": 2 + }, + { "git-tree": "d0b90c66c1c8be2574ff610fe1fda718e8b87b78", "version-semver": "3.12.2", "port-version": 1 |