Commit Graph

3 Commits

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