Raphael Robatsch a35d1012dd liboqs: Fix build error		2023-12-25 17:14:22 +00:00
..
default.nix
fix-openssl-detection.patch