Commits

Iago Abal committed af1577e

Set version to 0.3.1 (tentative)
The goal is to do a minor release extending Z3.Base and Z3.Monad APIs.

Comments (0)

Files changed (1)

 Name:                z3
-Version:             0.3.0
+Version:             0.3.1
 Synopsis:            Bindings for the Z3 Theorem Prover
 Description:
     Bindings for the Z3 Theorem Prover (<http://z3.codeplex.com>).