From 7bc38b705edfbbf278d5fe52c4f770fce83da801 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Levent=20Erk=C3=B6k?= Date: Sun, 17 Mar 2024 21:15:37 -0700 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: