Closed baentsch closed 1 year ago
Fixes #16
The docker image with the distributable liboqs build fixes the problem and works on all my machines.
Fixes #16