diff --git a/singletons-base-code-generator/CHANGES.md b/singletons-base-code-generator/CHANGES.md index dd3293b4..09fc0ac8 100644 --- a/singletons-base-code-generator/CHANGES.md +++ b/singletons-base-code-generator/CHANGES.md @@ -1,6 +1,6 @@ Changelog for the `singletons-base-code-generator` project ========================================================== -0.1 [????.??.??] +0.1 [2024.12.11] ---------------- * Initial release. diff --git a/singletons-base/CHANGES.md b/singletons-base/CHANGES.md index 81502b99..317f356d 100644 --- a/singletons-base/CHANGES.md +++ b/singletons-base/CHANGES.md @@ -1,8 +1,8 @@ Changelog for the `singletons-base` project =========================================== -3.5 [????.??.??] ------------------ +3.5 [2024.12.11] +---------------- * Require building with GHC 9.12. * Remove the use of a custom `Setup.hs` script. This script has now been replaced with a [`cabal` code diff --git a/singletons-th/CHANGES.md b/singletons-th/CHANGES.md index 4eadb1c5..6925f7ce 100644 --- a/singletons-th/CHANGES.md +++ b/singletons-th/CHANGES.md @@ -1,7 +1,7 @@ Changelog for the `singletons-th` project ========================================= -3.5 [????.??.??] +3.5 [2024.12.11] ---------------- * Require building with GHC 9.12. * Require building with `th-desugar-1.18` or later. Notably, `th-desugar-1.18` diff --git a/singletons/CHANGES.md b/singletons/CHANGES.md index b8279ab4..a5729f02 100644 --- a/singletons/CHANGES.md +++ b/singletons/CHANGES.md @@ -1,7 +1,7 @@ Changelog for the `singletons` project ====================================== -3.0.4 [????.??.??] +3.0.4 [2024.12.11] ------------------ * Define `Sing` instances such that they explicitly match on their types on the left-hand sides (e.g., define `type instance Sing @(k1 ~> k2) = SLambda`