Commits

Iago Abal committed 1ca9855

Set package version to 0.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.