4 Commits

Author SHA1 Message Date
Wei Dai
d27b275702
[seal]Updated to version 3.6.4 (#17648)
* Updated SEAL to version 3.6.4.

* Updated versions/s-/seal.json.
2021-05-06 13:40:53 -07:00
Wei Dai
f5f494d087
[seal] Updated SEAL version to 3.6.2. (#16379)
* Updated SEAL's version to the latest.

* Updated version number in ports/seal/CONTROL.

* update version

Co-authored-by: Jonliu1993 <13720414433@163.com>
2021-02-24 13:33:26 -08:00
Jack·Boos·Yu
c5bffbd985
[seal] Update verson record (#15933) 2021-01-28 18:47:13 -08:00
nicole mazzuca
68a74950d0
[vcpkg] Rename port_versions to versions (#15784) 2021-01-21 09:53:22 -08:00