diff options
Diffstat (limited to 'versions')
| -rw-r--r-- | versions/baseline.json | 2 | ||||
| -rw-r--r-- | versions/r-/robin-map.json | 9 |
2 files changed, 8 insertions, 3 deletions
diff --git a/versions/baseline.json b/versions/baseline.json index df70bbe2a..474c0ede3 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -5378,7 +5378,7 @@ }, "robin-map": { "baseline": "0.6.3", - "port-version": 0 + "port-version": 1 }, "rocksdb": { "baseline": "6.14.6", diff --git a/versions/r-/robin-map.json b/versions/r-/robin-map.json index 15d9780f8..94e2dbd7e 100644 --- a/versions/r-/robin-map.json +++ b/versions/r-/robin-map.json @@ -1,8 +1,13 @@ { "versions": [ { - "git-tree": "84f1433234bb4813feee71e4042174ec9e8d5a7a", - "version-string": "0.6.3", + "git-tree": "95d49e16c7a8ef523608ef8e7d8fb019085789b8", + "version-semver": "0.6.3", + "port-version": 1 + }, + { + "git-tree": "3a6eb0ea067edf2d06baa7706281caf96df4216a", + "version-semver": "0.6.3", "port-version": 0 }, { |