From d93cf33a224a9cc8de9ed92084b5d31c1f86bb15 Mon Sep 17 00:00:00 2001 From: Wei Dai Date: Thu, 1 Jul 2021 08:41:40 -0700 Subject: [seal] Fixed cannot find SEAL. (#18596) * Fixed cannot find seal. * Updated versioning. --- versions/baseline.json | 2 +- versions/s-/seal.json | 5 +++++ 2 files changed, 6 insertions(+), 1 deletion(-) (limited to 'versions') diff --git a/versions/baseline.json b/versions/baseline.json index 2d5e5d923..b1684659f 100644 --- a/versions/baseline.json +++ b/versions/baseline.json @@ -5690,7 +5690,7 @@ }, "seal": { "baseline": "3.6.6", - "port-version": 0 + "port-version": 1 }, "secp256k1": { "baseline": "2017-19-10", diff --git a/versions/s-/seal.json b/versions/s-/seal.json index 53e227f6d..56f081d64 100644 --- a/versions/s-/seal.json +++ b/versions/s-/seal.json @@ -1,5 +1,10 @@ { "versions": [ + { + "git-tree": "89d120a6c3ac5306d90e29913048b518dc5a2c9b", + "version-semver": "3.6.6", + "port-version": 1 + }, { "git-tree": "e487b9120a78480800a1fd914477acf03f677919", "version-semver": "3.6.6", -- cgit v1.2.3