vcpkg/ports/seal
Wei Dai 50700e0360
[SEAL/APSI]Updated SEAL to 3.7.2 and APSI to 0.5.0 (#21454)
* Updated ports/seal to 3.7.2 and ports/apsi to 0.5.0.

* Updated versioning.
2021-11-16 10:13:33 -08:00
..
portfile.cmake [SEAL/APSI]Updated SEAL to 3.7.2 and APSI to 0.5.0 (#21454) 2021-11-16 10:13:33 -08:00
vcpkg.json [SEAL/APSI]Updated SEAL to 3.7.2 and APSI to 0.5.0 (#21454) 2021-11-16 10:13:33 -08:00