Added CHANGELOG and bumped versions of the packages

Author: coot

typed-protocols-cborg/typed-protocols-cborg.cabal

@@ -1,6 +1,6 @@
 cabal-version:       3.0
 name:                typed-protocols-cborg
-version:             0.1.0.4
+version:             0.2.0.0
 synopsis:            CBOR codecs for typed-protocols
 -- description:
 license:             Apache-2.0

typed-protocols-examples/typed-protocols-examples.cabal

@@ -1,6 +1,6 @@
 cabal-version:       3.0
 name:                typed-protocols-examples
-version:             0.2.0.2
+version:             0.3.0.0
 synopsis:            Examples and tests for the typed-protocols framework
 -- description:
 license:             Apache-2.0

typed-protocols/CHANGELOG.md

@@ -1,6 +1,24 @@
 # Revision history for typed-protocols
 
+## [Unreleased]
+
+- A major redesign of `typed-protocols`.  `Protocol` class requires data family
+  `Message` and new associated type familiy instance `StateAgency`.  One also
+  needs to define singletons and `Sing` & `SingI` instances from the
+  [`singletons`][singletons-3.0.1] package.
+
 ## 0.1.1.1
 * unbuildable (with `base < 0` constraint in CHaP); We cannot support
 `io-classes-1.{6,7}` until `Haskell.Nix` support for public sublibraries is
  merged.
+
+## 0.1.0.7 -- 2023-10-20
+
+* Improved performance of `prop_codecs_splitsM` and `prop_codecs_compatM`.
+
+## 0.1.0.5 -- 2023-03-08
+
+* Support `ghc-9.6.1`.
+* Use `io-classes-1.1.0.0`.
+
+[singletons-3.0.1]: https://hackage.haskell.org/package/singletons