diff --git a/README.md b/README.md index 5afc9e265..b06740b9d 100644 --- a/README.md +++ b/README.md @@ -25,7 +25,7 @@ SBV also allows for an incremental mode: Users are given a handle to the SMT sol ## Overview - - [Hackage](http://hackage.haskell.org/package/sbv) (Version 10.5. Released: Feb 20th, 2024.) + - [Hackage](http://hackage.haskell.org/package/sbv) - [Release Notes](http://github.com/LeventErkok/sbv/tree/master/CHANGES.md). SBV library provides support for dealing with symbolic values in Haskell. It introduces the types: