Commits

Iago Abal  committed 1ca9855

Set package version to 0.1.0

  • Participants
  • Parent commits ee7ebf7
  • Tags v0.1.0

Comments (0)

Files changed (1)

 Name:                z3
-Version:             0.0.0
+Version:             0.1.0
 Synopsis:            Bindings for the Z3 Theorem Prover
 Description:         
     Bindings for the Z3 Theorem Prover.