diff options
Diffstat (limited to 'versions/e-')
| -rw-r--r-- | versions/e-/embree3.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/versions/e-/embree3.json b/versions/e-/embree3.json index 6b172e934..61663c90f 100644 --- a/versions/e-/embree3.json +++ b/versions/e-/embree3.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "8684283b1251cae5f299462307ff5cac0cf1f4fd", + "version": "3.12.2", + "port-version": 0 + }, + { "git-tree": "955eb7f17ebf475e96ee8fe283b56cbc3944da44", "version-string": "3.11.0", "port-version": 2 |