🔖 Prepare for v0.10.0.0 release

lsrcz · Dec 11, 2024 · 14f4c81 · 14f4c81
1 parent 9dc1358
commit 14f4c81
Show file tree

Hide file tree

Showing 6 changed files with 26 additions and 7 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -6,7 +6,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic
 Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [Unreleased]
+## [0.10.0.0] - 2024-12-11
 
 ### Added
 
@@ -520,7 +520,8 @@ No user-facing changes.
 
 - Initial release for Grisette.
 
-[Unreleased]: https://github.com/lsrcz/grisette/compare/v0.9.0.0...HEAD
+[Unreleased]: https://github.com/lsrcz/grisette/compare/v0.10.0.0...HEAD
+[0.10.0.0]: https://github.com/lsrcz/grisette/compare/v0.9.0.0...v0.10.0.0
 [0.9.0.0]: https://github.com/lsrcz/grisette/compare/v0.8.0.0...v0.9.0.0
 [0.8.0.0]: https://github.com/lsrcz/grisette/compare/v0.7.0.0...v0.8.0.0
 [0.7.0.0]: https://github.com/lsrcz/grisette/compare/v0.6.0.0...v0.7.0.0

diff --git a/README.md b/README.md
@@ -48,7 +48,25 @@ can add it to your project's `.cabal` file:
 ```cabal
 library
   ...
-  build-depends: grisette >= 0.9 < 0.10
+  build-depends: grisette >= 0.10 < 0.11
+```
+
+#### Using stack
+
+Note: Grisette on Stackage is currently outdated. Please make sure to use
+`extra-deps` to get the latest version of Grisette from stackage. In your
+`stack.yaml` file, add:
+
+```yaml
+extra-deps:
+  - grisette-0.10.0.0
+```
+
+and in your `package.yaml` file:
+
+```yaml
+dependencies:
+  - grisette >= 0.10 < 0.11
 ```
 
 #### Quick start template with `stack new`

diff --git a/examples/grisette-examples.cabal b/examples/grisette-examples.cabal
@@ -32,5 +32,5 @@ executable basic
       basic
   build-depends:
       base >=4.14 && <5
-    , grisette ==0.9.*
+    , grisette ==0.10.*
   default-language: Haskell2010
diff --git a/examples/package.yaml b/examples/package.yaml
@@ -15,7 +15,7 @@ extra-source-files:
 
 dependencies:
   - base >= 4.14 && < 5
-  - grisette >= 0.9 && < 0.10
+  - grisette >= 0.10 && < 0.11
 
 executables:
   basic:

diff --git a/grisette.cabal b/grisette.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           grisette
-version:        0.9.0.0
+version:        0.10.0.0
 synopsis:       Symbolic evaluation as a library
 description:    Grisette is a reusable symbolic evaluation library for Haskell. By
                 translating programs into constraints, Grisette can help the development of

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name: grisette
-version: 0.9.0.0
+version: 0.10.0.0
 synopsis: Symbolic evaluation as a library
 description: |
   Grisette is a reusable symbolic evaluation library for Haskell. By