A new year a new license

LeventErkok · Jan 2, 2024 · 295155b · 295155b
1 parent f2eced1
commit 295155b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/COPYRIGHT b/COPYRIGHT
@@ -1,4 +1,4 @@
-Copyright (c) 2010-2023, Levent Erkok (erkokl@gmail.com)
+Copyright (c) 2010-2024, Levent Erkok (erkokl@gmail.com)
 All rights reserved.
 
 The sbv library is distributed with the BSD3 license. See the LICENSE file

diff --git a/LICENSE b/LICENSE
@@ -1,6 +1,6 @@
 SBV: SMT Based Verification in Haskell
 
-Copyright (c) 2010-2023, Levent Erkok (erkokl@gmail.com)
+Copyright (c) 2010-2024, Levent Erkok (erkokl@gmail.com)
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without

diff --git a/sbv.cabal b/sbv.cabal
@@ -9,7 +9,7 @@ Description : Express properties about Haskell programs and automatically prove
                .
                For details, please see: <http://leventerkok.github.io/sbv/>
 
-Copyright          : Levent Erkok, 2010-2023
+Copyright          : Levent Erkok, 2010-2024
 License            : BSD-3-Clause
 License-file       : LICENSE
 Stability          : Experimental