From 5faa4c28f4108c3fff3f800300979d0bea783ac4 Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Tue, 20 Feb 2024 21:27:29 -0800 Subject: [PATCH] update release date --- index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.md b/index.md index 9b218281f..04777f686 100644 --- a/index.md +++ b/index.md @@ -23,7 +23,7 @@ based on the current model, and access to internals of SMT solvers for advanced Overview ======== - - [Hackage](http://hackage.haskell.org/package/sbv) (Version 10.4. Released: Feb 15th, 2024.) + - [Hackage](http://hackage.haskell.org/package/sbv) (Version 10.5. Released: Feb 20th, 2024.) - [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: