From 3b538914f46baddeeb6de24bf8f1237c6ab288d3 Mon Sep 17 00:00:00 2001
From: Marcin Szamotulski <coot@coot.me>
Date: Wed, 8 Nov 2023 11:11:41 +0100
Subject: [PATCH] typed-protocols: relaxed io-sim bounds

---
 _sources/typed-protocols/0.1.1.0/meta.toml    |  4 ++
 .../typed-protocols/0.1.1.0/revisions/1.cabal | 46 +++++++++++++++++++
 2 files changed, 50 insertions(+)
 create mode 100644 _sources/typed-protocols/0.1.1.0/revisions/1.cabal

diff --git a/_sources/typed-protocols/0.1.1.0/meta.toml b/_sources/typed-protocols/0.1.1.0/meta.toml
index ce8b61042..1487e082f 100644
--- a/_sources/typed-protocols/0.1.1.0/meta.toml
+++ b/_sources/typed-protocols/0.1.1.0/meta.toml
@@ -1,3 +1,7 @@
 timestamp = 2023-10-23T08:59:58Z
 github = { repo = "input-output-hk/typed-protocols", rev = "e0f008311ce58ea58d61157fa7f93312b6839bd7" }
 subdir = 'typed-protocols'
+
+[[revisions]]
+number = 1
+timestamp = 2023-11-08T10:09:22Z
diff --git a/_sources/typed-protocols/0.1.1.0/revisions/1.cabal b/_sources/typed-protocols/0.1.1.0/revisions/1.cabal
new file mode 100644
index 000000000..1d92114d0
--- /dev/null
+++ b/_sources/typed-protocols/0.1.1.0/revisions/1.cabal
@@ -0,0 +1,46 @@
+cabal-version:       3.0
+name:                typed-protocols
+version:             0.1.1.0
+synopsis:            A framework for strongly typed protocols
+-- description:
+license:             Apache-2.0
+license-files:
+  LICENSE
+  NOTICE
+copyright:           2019-2023 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
+build-type:          Simple
+tested-with:         GHC == {8.10, 9.2, 9.4, 9.6}
+extra-source-files:  CHANGELOG.md
+
+library
+  exposed-modules:   Network.TypedProtocol
+                   , Network.TypedProtocol.Core
+                   , Network.TypedProtocol.Codec
+                   , Network.TypedProtocol.Pipelined
+                   , Network.TypedProtocol.Driver
+                   , Network.TypedProtocol.Proofs
+
+  other-extensions:  GADTs
+                   , RankNTypes
+                   , PolyKinds
+                   , DataKinds
+                   , ScopedTypeVariables
+                   , TypeFamilies
+                   , TypeOperators
+                   , BangPatterns
+  build-depends:     base,
+                     io-classes >= 1.0 && < 1.4
+
+  hs-source-dirs:    src
+  default-language:  Haskell2010
+  ghc-options:       -Wall
+                     -Wno-unticked-promoted-constructors
+                     -Wcompat
+                     -Wincomplete-uni-patterns
+                     -Wincomplete-record-updates
+                     -Wpartial-fields
+                     -Widentities
+                     -Wredundant-constraints