Merge pull request #1017 from pq-code-package/missing_relicensing

Fix relicensing gap

Author: mkannwischer

CODEOWNERS

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: Apache-2.0 O ISC OR MIT
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
 # Last matching pattern has precedence
 
 * @pq-code-package/pqcp-mlkem-native-admin

META.sh

@@ -1,5 +1,5 @@
 #!/bin/bash
-# SPDX-License-Identifier: CC-BY-4.0
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
 
 # Helper script to query META.yml
 #

nix/cbmc/0001-Do-not-download-sources-in-cmake.patch

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: Apache-2.0
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
 diff --git a/src/solvers/CMakeLists.txt b/src/solvers/CMakeLists.txt
 index 003a0d957b..79751ef8b2 100644
 --- a/src/solvers/CMakeLists.txt

proofs/cbmc/.gitignore

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: Apache-2.0
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
 
 # Emitted when running CBMC proofs
 **/logs