Skip to content

Commit 6af0e61

Browse files
hyperpolymathclaude
andcommitted
Fix SPDX headers: AGPL-3.0-or-later → PMPL-1.0-or-later
Replace legacy AGPL-3.0-or-later SPDX identifiers with the correct PMPL-1.0-or-later (Palimpsest License) across justfiles, Mustfiles, shell scripts, config files, dotfiles, and source code. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent af77248 commit 6af0e61

File tree

268 files changed

+272
-272
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

268 files changed

+272
-272
lines changed

CODE_OF_CONDUCT.md

Lines changed: 1 addition & 1 deletion

Mustfile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# SPDX-License-Identifier: AGPL-3.0-or-later
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
22
# Mustfile - hyperpolymath mandatory checks
33
# See: https://github.com/hyperpolymath/mustfile
44

SECURITY.md

Lines changed: 1 addition & 1 deletion

ada-ecosystem/ada-loom-registry/.github/workflows/workflow-linter.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ jobs:
3636
fi
3737
done
3838
if [ $failed -eq 1 ]; then
39-
echo "Add '# SPDX-License-Identifier: AGPL-3.0-or-later' as first line"
39+
echo "Add '# SPDX-License-Identifier: PMPL-1.0-or-later' as first line"
4040
exit 1
4141
fi
4242
echo "All workflows have SPDX headers"

ada-ecosystem/ada-loom-registry/examples/SafeDOMExample.res

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// SPDX-License-Identifier: AGPL-3.0-or-later
1+
// SPDX-License-Identifier: PMPL-1.0-or-later
22
// Example: Using SafeDOM for formally verified DOM mounting
33

44
open SafeDOM

ada-ecosystem/ada-loom-registry/ffi/zig/build.zig

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
// {{PROJECT}} FFI Build Configuration
2-
// SPDX-License-Identifier: AGPL-3.0-or-later
2+
// SPDX-License-Identifier: PMPL-1.0-or-later
33

44
const std = @import("std");
55

ada-ecosystem/ada-loom-registry/ffi/zig/src/main.zig

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
// This module implements the C-compatible FFI declared in src/abi/Foreign.idr
44
// All types and layouts must match the Idris2 ABI definitions.
55
//
6-
// SPDX-License-Identifier: AGPL-3.0-or-later
6+
// SPDX-License-Identifier: PMPL-1.0-or-later
77

88
const std = @import("std");
99

ada-ecosystem/ada-loom-registry/ffi/zig/test/integration_test.zig

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
// {{PROJECT}} Integration Tests
2-
// SPDX-License-Identifier: AGPL-3.0-or-later
2+
// SPDX-License-Identifier: PMPL-1.0-or-later
33
//
44
// These tests verify that the Zig FFI correctly implements the Idris2 ABI
55

coq-ecosystem/coq-jr/.gitattributes

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# SPDX-License-Identifier: AGPL-3.0-or-later
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
22
# RSR-compliant .gitattributes
33

44
* text=auto eol=lf

coq-ecosystem/coq-jr/.gitignore

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# SPDX-License-Identifier: AGPL-3.0-or-later
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
22
# RSR-compliant .gitignore
33

44
# OS & Editor

0 commit comments

Comments
 (0)