vcpkg/ports/seal
Wei Dai d93cf33a22
[seal] Fixed cannot find SEAL. (#18596)
* Fixed cannot find seal.

* Updated versioning.
2021-07-01 08:41:40 -07:00
..
portfile.cmake [seal] Fixed cannot find SEAL. (#18596) 2021-07-01 08:41:40 -07:00
vcpkg.json [seal] Fixed cannot find SEAL. (#18596) 2021-07-01 08:41:40 -07:00