what4 1.5 → 1.5.1
raw patch · 3 files changed
+6/−8 lines, 3 filesdep ~versions
Dependency ranges changed: versions
Files
- CHANGES.md +4/−0
- src/What4/Utils/Versions.hs +0/−6
- what4.cabal +2/−2
CHANGES.md view
@@ -1,3 +1,7 @@+# 1.5.1 (October 2023)++* Require building with `versions >= 6.0.2`.+ # 1.5 (July 2023) * Allow building with GHC 9.6.
src/What4/Utils/Versions.hs view
@@ -3,8 +3,6 @@ {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE TemplateHaskell #-} -{-# OPTIONS_GHC -Wno-orphans #-}- module What4.Utils.Versions where import qualified Config as Config@@ -20,10 +18,6 @@ import Language.Haskell.TH import Language.Haskell.TH.Lift---- NB, orphan instances :-(-deriving instance Lift Versions.VUnit-deriving instance Lift Versions.Version ver :: Text -> Q Exp ver nm =
what4.cabal view
@@ -1,6 +1,6 @@ Cabal-version: 2.4 Name: what4-Version: 1.5+Version: 1.5.1 Author: Galois Inc. Maintainer: rscott@galois.com, kquick@galois.com Copyright: (c) Galois, Inc 2014-2023@@ -135,7 +135,7 @@ unordered-containers >= 0.2.10, utf8-string >= 1.0.1, vector >= 0.12.1,- versions >= 4.0 && < 6.0,+ versions >= 6.0.2 && < 6.1, zenc >= 0.1.0 && < 0.2.0, ghc-prim >= 0.5.2