diff --git a/CHANGES b/CHANGES
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,4 @@
+0.9.5: Expose `loadString`
 0.9.4: Add `toInt` and `toReal`
 0.9.3: Fix incorrect rendering or `real` literals
 0.9.2: add ppSExpr
diff --git a/SimpleSMT.hs b/SimpleSMT.hs
--- a/SimpleSMT.hs
+++ b/SimpleSMT.hs
@@ -11,6 +11,7 @@
   , simpleCommand
   , simpleCommandMaybe
   , loadFile
+  , loadString
 
     -- ** S-Expressions
   , SExpr(..)
diff --git a/simple-smt.cabal b/simple-smt.cabal
--- a/simple-smt.cabal
+++ b/simple-smt.cabal
@@ -1,5 +1,5 @@
 name:                simple-smt
-version:             0.9.4
+version:             0.9.5
 synopsis:            A simple way to interact with an SMT solver process.
 description:         A simple way to interact with an SMT solver process.
 license:             BSD3
@@ -15,7 +15,7 @@
 library
   exposed-modules:     SimpleSMT
   other-extensions:    Safe, RecordWildCards
-  build-depends:       base >=4.7 && <10,
+  build-depends:       base >=4.8 && <10,
                        process
   default-language:    Haskell2010