1. Iago Abal
  2. z3-haskell

Commits

Iago Abal  committed a22facd

Minor tweaks to z3.cabal

  • Participants
  • Parent commits c0478ee
  • Branches default

Comments (0)

Files changed (1)

File z3.cabal

View file
  • Ignore whitespace
     dynamic libraries (\/usr\/lib) and header files (\/usr\/include), or else
     use the --extra-lib-dirs and --extra-include-dirs Cabal flags.
     .
-    * Hackage fails to compile this package because of the z3 dependency.
+    * Hackage fails to compile this package because of the (unsatisfied) /libz3/
+    dependency.
     .
     * Haddock documentation can be found at
-    <http://www.iagoabal.eu/z3-haskell/doc/0.3.0>
+    <http://www.iagoabal.eu/z3-haskell/doc/0.3.1>.
 Homepage:            http://bitbucket.org/iago/z3-haskell
 License:             BSD3
 License-file:        LICENSE
 
     ghc-options: -Wall
 
---  modify in MonadState causes <<loop>> in mtl-2.1, so we forbide this mtl
---  version in this library.
+    -- Ban to mtl-2.1: modify in MonadState causes <<loop>> in mtl-2.1
     Build-depends:       base > 3 && < 5, containers, mtl < 2.1 || > 2.1
 
     Build-tools:         hsc2hs