Commits

Iago Abal  committed d5d8dc9

Set version to 0.3.0

  • Participants
  • Parent commits 2e4c35d

Comments (0)

Files changed (1)

 Name:                z3
-Version:             0.2.0
+Version:             0.3.0
 Synopsis:            Bindings for the Z3 Theorem Prover
 Description:         
     Bindings for the Z3 Theorem Prover.