Moved packages to new repositories

* `io-classes`
* `io-sim`
* `strict-stm`
were moved to https://github.com/input-output-hk/io-sim

* `typed-protocols`
* `typed-protocols-cborg`
* `typed-protocols-examples`
were moved to https://github.com/input-output-hk/typed-protocols

.github/workflows/build.yml

@@ -180,10 +180,6 @@ jobs:
           cat "$x"
         done
 
-    - name: Build io-classes [build]
-      # +checktvarinvariant is set in cabal.project.local.ci
-      run: cabal --builddir="$CABAL_BUILDDIR" build -f -checktvarinvariant io-classes
-
     - name: Set checkinvariant flag
       run: |
         cat >> cabal.project.local <<EOF
@@ -201,15 +197,6 @@ jobs:
     - name: ntp-client [test]
       run: cabal --builddir="$CABAL_BUILDDIR" run ntp-client:test
 
-    - name: io-sim [test]
-      run: cabal --builddir="$CABAL_BUILDDIR" run io-sim:test
-
-    - name: io-classes [test]
-      run: cabal --builddir="$CABAL_BUILDDIR" run io-classes:test
-
-    - name: typed-protocols-examples [test]
-      run: cabal --builddir="$CABAL_BUILDDIR" run typed-protocols-examples:tests
-
     - name: network-mux [test]
       run: cabal --builddir="$CABAL_BUILDDIR" run network-mux:test
 

cabal.project

@@ -1,9 +1,6 @@
 index-state: 2022-02-18T00:00:00Z
 
-packages: ./typed-protocols
-          ./typed-protocols-cborg
-          ./typed-protocols-examples
-          ./ouroboros-network-testing
+packages: ./ouroboros-network-testing
           ./monoidal-synchronisation
           ./network-mux
           ./ouroboros-network-framework
@@ -21,9 +18,6 @@ packages: ./typed-protocols
           ./ouroboros-consensus-shelley
           ./ouroboros-consensus-shelley-test
           ./ouroboros-consensus-test
-          ./io-sim
-          ./io-classes
-          ./strict-stm
           ./ntp-client
           ./cardano-client
 
@@ -40,27 +34,12 @@ package Win32-network
 package io-classes
   flags: +asserts
 
-package io-sim
-  tests: True
-  -- NOTE: to enable benchmarks, one needs to disable tests for --
-  -- `typed-protocols-examples`.  This won't be a problem, once `io-sim` lands
-  -- in its own repository.
-  benchmarks: False
-
 package strict-stm
   flags: +asserts
 
 package network-mux
   flags: +asserts
 
-package typed-protocols
-
-package typed-protocols-examples
-  tests: True
-
-package ouroboros-network-framework
-  tests: True
-
 package ouroboros-network-testing
   tests: True
 
@@ -178,6 +157,26 @@ constraints:
 -- --------------------------- 8< --------------------------
 -- Please do not put any `source-repository-package` clause above this line.
 
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/io-sim
+  tag: 606de33fa2f467d108fb1efb86daeb3348bf34e3
+  --sha256: 048djqfdkzrbmdz670knbkjy12wddpvsmhm4x5yldg3w9lwqi1yx
+  subdir:
+    io-classes
+    io-sim
+    strict-stm
+
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/typed-protocols
+  tag: 91c3fba44d68439df207796171cd6f867354b76b
+  --sha256: 1h1nh10859kd7j8bb55y577jfdp42aqpppx8fn0pm6fra5748a50
+  subdir:
+    typed-protocols
+    typed-protocols-cborg
+    typed-protocols-examples
+
 source-repository-package
   type: git
   location: https://github.com/input-output-hk/Win32-network

docs/interface-CHANGELOG.md

@@ -5,6 +5,13 @@ team.  See [consensus
 CHANGELOG](../ouroboros-consensus/docs/interface-CHANGELOG.md) file for how
 this changelog is supposed to be used.
 
+## Circa 2022-05-16
+
+- `io-classes`, `io-sim` and `strict-stm` were moved to
+  https://github.com/input-output-hk/io-sim
+
+- `typed-protocols`, `typed-protocols-cborg` and `typed-protocols` were moved
+  to https://github.com/input-output-hk/typed-protocols
 
 ## Circa 2022-04-06