Use typed-protocols-1.1.0.1

This version is compatible with QuickCheck 2.15 and lower

Author: geo2a

cabal.project

@@ -90,14 +90,6 @@ source-repository-package
     network-mux
     ouroboros-network
 
-source-repository-package
-  type: git
-  location: https://github.com/input-output-hk/typed-protocols
-  tag: e29a21541c4af44a3d586ef0b2a61f8d87cc6bdd
-  --sha256: sha256-Kww2GEqi+GbjmKVIhMADazpUddOBuXqQCiR58WkMj10=
-  subdir:
-    typed-protocols
-
 -- kes-agent is not yet in CHaP, so we pull it from its GitHub repo
 source-repository-package
   type: git

ouroboros-consensus-cardano/ouroboros-consensus-cardano.cabal

@@ -500,7 +500,7 @@ test-suite cardano-test
     tasty-hunit,
     tasty-quickcheck,
     temporary,
-    typed-protocols ^>=1.1,
+    typed-protocols ^>=1.1.0.1,
     unstable-byron-testlib,
     unstable-cardano-testlib,
     unstable-shelley-testlib,

ouroboros-consensus/ouroboros-consensus.cabal

@@ -359,7 +359,7 @@ library
     time,
     transformers,
     transformers-base,
-    typed-protocols ^>=1.1,
+    typed-protocols ^>=1.1.0.1,
     vector ^>=0.13,
 
   x-docspec-extra-packages:
@@ -712,7 +712,7 @@ test-suite consensus-test
     transformers,
     transformers-base,
     tree-diff,
-    typed-protocols:{examples, stateful, typed-protocols} ^>=1.1,
+    typed-protocols:{examples, stateful, typed-protocols} ^>=1.1.0.1,
     unstable-consensus-testlib,
     unstable-mock-block,