Update README.md

LeventErkok · Mar 18, 2024 · 7bc38b7 · 7bc38b7
1 parent 725a9b2
commit 7bc38b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: