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
Wei Dai
428d6000c4
[Seal] Update to version 3.7.1 ( #21024 )
...
* Updated ports/seal.
* Updated versioning.
2021-11-03 21:47:05 -07:00
Wei Dai
ccd2cf07cf
[seal] Updated SEAL to version 3.7.0 ( #20166 )
...
* Updated ports/seal and ports/apsi.
* Updated versioning.
2021-09-17 08:04:12 -07:00
Wei Dai
d93cf33a22
[seal] Fixed cannot find SEAL. ( #18596 )
...
* Fixed cannot find seal.
* Updated versioning.
2021-07-01 08:41:40 -07:00
Wei Dai
fbab325f47
[seal]Updated to version 3.6.6. Replaced CONTROL with manifest file. ( #18457 )
...
* Updated seal to version 3.6.6. Replaced CONTROL with manifest file.
* Changed version-string to version-semver.
* Updated versions/s-/seal.json.
* Added a missing CMake arguement.
* Updated versioning.
* Fixed hexl config file.
* Updated versioning.
* Fixed hexl not finding dependency.
* Updated versioning.
2021-06-21 14:07:53 -07:00
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
