diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
index b156dde..b3a0420 100644
--- a/.github/workflows/haskell.yml
+++ b/.github/workflows/haskell.yml
@@ -28,9 +28,9 @@ jobs:
     - name: Install LLVM (macOS)
       if: runner.os == 'macOS' && matrix.ghc == '8.10'
       run: |
-        brew install llvm@13
-        echo "LLVM_CONFIG=$(brew --prefix llvm@13)/bin/llvm-config" >> $GITHUB_ENV
-        echo "$(brew --prefix llvm@13)/bin" >> $GITHUB_PATH
+        brew install llvm@14
+        echo "LLVM_CONFIG=$(brew --prefix llvm@14)/bin/llvm-config" >> $GITHUB_ENV
+        echo "$(brew --prefix llvm@14)/bin" >> $GITHUB_PATH
 
     - name: Verify LLVM installation
       if: runner.os == 'macOS' && matrix.ghc == '8.10'
diff --git a/typed-protocols-cborg/NOTICE b/typed-protocols-cborg/NOTICE
index fb77bb8..98b6503 100644
--- a/typed-protocols-cborg/NOTICE
+++ b/typed-protocols-cborg/NOTICE
@@ -1,4 +1,4 @@
-Copyright 2021 Input Output (Hong Kong) Ltd.
+Copyright 2021-2025 Input Output Global Inc (IOG)
 
    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
diff --git a/typed-protocols-cborg/typed-protocols-cborg.cabal b/typed-protocols-cborg/typed-protocols-cborg.cabal
index a89fe13..ac514ef 100644
--- a/typed-protocols-cborg/typed-protocols-cborg.cabal
+++ b/typed-protocols-cborg/typed-protocols-cborg.cabal
@@ -7,7 +7,7 @@ license:             Apache-2.0
 license-files:
   LICENSE
   NOTICE
-copyright:           2019-2023 Input Output Global Inc (IOG)
+copyright:           2019-2025 Input Output Global Inc (IOG)
 author:              Alexander Vieth, Duncan Coutts, Marcin Szamotulski
 maintainer:          alex@well-typed.com, duncan@well-typed.com, marcin.szamotulski@iohk.io
 category:            Control
diff --git a/typed-protocols-doc/NOTICE b/typed-protocols-doc/NOTICE
index d980342..3d6e49e 100644
--- a/typed-protocols-doc/NOTICE
+++ b/typed-protocols-doc/NOTICE
@@ -1,4 +1,4 @@
-Copyright 2019-2024 Input Output Global Inc (IOG)
+Copyright 2019-2025 Input Output Global Inc (IOG)
 
    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
diff --git a/typed-protocols-doc/typed-protocols-doc.cabal b/typed-protocols-doc/typed-protocols-doc.cabal
index a8117a0..3d36877 100644
--- a/typed-protocols-doc/typed-protocols-doc.cabal
+++ b/typed-protocols-doc/typed-protocols-doc.cabal
@@ -7,7 +7,7 @@ license:            Apache-2.0
 license-file:       LICENSE
 author:             Tobias Dammers
 maintainer:         tobias@well-typed.com
-copyright:          2023-2024 Input Output Global Inc (IOG)
+copyright:          2023-2025 Input Output Global Inc (IOG)
 category:           Network
 build-type:         Simple
 extra-doc-files:    CHANGELOG.md
diff --git a/typed-protocols-examples/NOTICE b/typed-protocols-examples/NOTICE
index 72ccbbe..3d6e49e 100644
--- a/typed-protocols-examples/NOTICE
+++ b/typed-protocols-examples/NOTICE
@@ -1,4 +1,4 @@
-Copyright 2019-2021 Input Output (Hong Kong) Ltd.
+Copyright 2019-2025 Input Output Global Inc (IOG)
 
    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
diff --git a/typed-protocols-examples/typed-protocols-examples.cabal b/typed-protocols-examples/typed-protocols-examples.cabal
index 15d530e..81bdee7 100644
--- a/typed-protocols-examples/typed-protocols-examples.cabal
+++ b/typed-protocols-examples/typed-protocols-examples.cabal
@@ -7,7 +7,7 @@ license:             Apache-2.0
 license-files:
   LICENSE
   NOTICE
-copyright:           2019-2024 Input Output Global Inc (IOG)
+copyright:           2019-2025 Input Output Global Inc (IOG)
 author:              Alexander Vieth, Duncan Coutts, Marcin Szamotulski
 maintainer:          alex@well-typed.com, duncan@well-typed.com, marcin.szamotulski@iohk.io
 category:            Control
diff --git a/typed-protocols-stateful-cborg/NOTICE b/typed-protocols-stateful-cborg/NOTICE
index d027fe3..5f99bd1 100644
--- a/typed-protocols-stateful-cborg/NOTICE
+++ b/typed-protocols-stateful-cborg/NOTICE
@@ -1,4 +1,4 @@
-Copyright 2022-2024 Input Output Global Inc (IOG)
+Copyright 2022-2025 Input Output Global Inc (IOG)
 
    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
diff --git a/typed-protocols-stateful-cborg/typed-protocols-stateful-cborg.cabal b/typed-protocols-stateful-cborg/typed-protocols-stateful-cborg.cabal
index 6a3cbf5..ebe94b8 100644
--- a/typed-protocols-stateful-cborg/typed-protocols-stateful-cborg.cabal
+++ b/typed-protocols-stateful-cborg/typed-protocols-stateful-cborg.cabal
@@ -7,7 +7,7 @@ license:             Apache-2.0
 license-files:
   LICENSE
   NOTICE
-copyright:           2022-2024 Input Output Global Inc (IOG)
+copyright:           2022-2025 Input Output Global Inc (IOG)
 author:              Marcin Szamotulski
 maintainer:          marcin.szamotulski@iohk.io
 category:            Control
diff --git a/typed-protocols-stateful/NOTICE b/typed-protocols-stateful/NOTICE
index d027fe3..5f99bd1 100644
--- a/typed-protocols-stateful/NOTICE
+++ b/typed-protocols-stateful/NOTICE
@@ -1,4 +1,4 @@
-Copyright 2022-2024 Input Output Global Inc (IOG)
+Copyright 2022-2025 Input Output Global Inc (IOG)
 
    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
diff --git a/typed-protocols-stateful/typed-protocols-stateful.cabal b/typed-protocols-stateful/typed-protocols-stateful.cabal
index fb90743..bc0f891 100644
--- a/typed-protocols-stateful/typed-protocols-stateful.cabal
+++ b/typed-protocols-stateful/typed-protocols-stateful.cabal
@@ -7,7 +7,7 @@ license:             Apache-2.0
 license-files:
   LICENSE
   NOTICE
-copyright:           2022-2024 Input Output Global Inc (IOG)
+copyright:           2022-2025 Input Output Global Inc (IOG)
 author:              Marcin Szamotulski
 maintainer:          marcin.szamotulski@iohk.io
 category:            Control
diff --git a/typed-protocols/NOTICE b/typed-protocols/NOTICE
index 72ccbbe..3d6e49e 100644
--- a/typed-protocols/NOTICE
+++ b/typed-protocols/NOTICE
@@ -1,4 +1,4 @@
-Copyright 2019-2021 Input Output (Hong Kong) Ltd.
+Copyright 2019-2025 Input Output Global Inc (IOG)
 
    Licensed under the Apache License, Version 2.0 (the "License");
    you may not use this file except in compliance with the License.
diff --git a/typed-protocols/typed-protocols.cabal b/typed-protocols/typed-protocols.cabal
index a04075d..5fb2899 100644
--- a/typed-protocols/typed-protocols.cabal
+++ b/typed-protocols/typed-protocols.cabal
@@ -7,7 +7,7 @@ license:             Apache-2.0
 license-files:
   LICENSE
   NOTICE
-copyright:           2019-2024 Input Output Global Inc (IOG)
+copyright:           2019-2025 Input Output Global Inc (IOG)
 author:              Alexander Vieth, Duncan Coutts, Marcin Szamotulski
 maintainer:          alex@well-typed.com, duncan@well-typed.com, marcin.szamotulski@iohk.io
 category:            Control