aboutsummaryrefslogtreecommitdiff
path: root/ports/seal
AgeCommit message (Expand)Author
2021-09-17[seal] Updated SEAL to version 3.7.0 (#20166)Wei Dai
2021-07-01[seal] Fixed cannot find SEAL. (#18596)Wei Dai
2021-06-21[seal]Updated to version 3.6.6. Replaced CONTROL with manifest file. (#18457)Wei Dai
2021-05-06[seal]Updated to version 3.6.4 (#17648)Wei Dai
2021-02-24[seal] Updated SEAL version to 3.6.2. (#16379)Wei Dai
2021-01-28Update to SEAL 3.6.1 (#15015)Radames Cruz
2020-11-18[seal] Update to version 3.6.0. Changed default features. (#14576)Wei Dai
2020-09-26[seal] Fixed and updated ports/seal to 3.5.9. (#13598)Wei Dai
2020-05-26[seal] Disable SEAL_USE_MSGSL and add default feature zlib (#11588)Jack·Boos·Yu
2020-01-30[seal] Add new port (#9698)Kotaro Inoue