Finalize singletons-3.0.4, singletons-{th,base}-3.5, singletons-base-…

…code-generator-0.1
goldfirere · Dec 11, 2024 · 326e0e9 · 326e0e9
1 parent a27dfbe
commit 326e0e9
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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`