Use CHaP

Author: coot

.github/workflows/haskell.yml

@@ -84,6 +84,9 @@ jobs:
         cat ./.github/workflows/cabal.project.local > ./cabal.project.local
         cat ./cabal.project.local
 
+    - name: "Cabal update"
+      run: cabal update
+
     - name: Record dependencies
       id: record-deps
       run: |

cabal.project

@@ -1,4 +1,17 @@
-index-state: 2022-09-01T00:00:00Z
+-- Custom repository for cardano haskell packages, see CONTRIBUTING for more
+repository cardano-haskell-packages
+  url: https://input-output-hk.github.io/cardano-haskell-packages
+  secure: True
+  root-keys:
+    3e0cce471cf09815f930210f7827266fd09045445d65923e6d0238a6cd15126f
+    443abb7fb497a134c343faf52f0b659bd7999bc06b7f63fa76dc99d631f9bea1
+    a86a1f6ce86c449c46666bda44268677abf29b5b2d2eb5ec7af903ec2f117a82
+    bcec67e8e99cabfa7764d75ad9b158d72bfacf70ca1d0ec8bc6b4406d1bf8413
+    c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56
+    d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
+
+index-state: 2022-11-06T00:00:00Z
+index-state: cardano-haskell-packages 2022-11-07T00:00:00Z
 
 packages: ./io-sim
           ./io-classes
@@ -12,13 +25,3 @@ package io-classes
 
 package strict-stm
   flags: +asserts
-
-source-repository-package
-  type: git
-  location: https://github.com/input-output-hk/typed-protocols
-  tag: 254a4f8520ff58bb80bf1468d279391c6002436e
-  --sha256: 1jpdlks39s9yih96kadzb6va0ag7c1l9510a0q98bj7gksng4218
-  subdir:
-    typed-protocols
-    typed-protocols-cborg
-    typed-protocols-examples