Commits

Iago Abal  committed d74bfb0

Set package version to 0.3.2 (tentative)

  • Participants
  • Parent commits 761d193

Comments (0)

Files changed (1)

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