3 Commits

Author SHA1 Message Date
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