My smtlib2 fixes have been accepted upstream and published on Hackage as smtlib2-0.3.1; remove my interim version and use that. Run cabal update first to make sure you have the new version in your Hackage index. Also remove your existing sandbox to start from a clean slate; you can use git clean -d assuming that won’t blow any other untracked files you have lying around.
salmans
commented
8 years ago
My smtlib2 fixes have been accepted upstream and published on Hackage as smtlib2-0.3.1; remove my interim version and use that. Run
cabal updatefirst to make sure you have the new version in your Hackage index. Also remove your existing sandbox to start from a clean slate; you can usegit clean -dassuming that won’t blow any other untracked files you have lying around.