vcpkg/ports/seal
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
..
CONTROL [seal] Updated SEAL version to 3.6.2. (#16379) 2021-02-24 13:33:26 -08:00
portfile.cmake [seal] Updated SEAL version to 3.6.2. (#16379) 2021-02-24 13:33:26 -08:00