Skip to content

Commit

Permalink
Bump library version.
Browse files Browse the repository at this point in the history
  • Loading branch information
@aniemetz
aniemetz committed Jun 25, 2018
1 parent ba717fb commit 8805781
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions library_versions
View file
Original file line number Diff line number Diff line change
Expand Up @@ -61,3 +61,5 @@
1\.5-prerelease libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0
1\.5 libcvc4:4:0:0 libcvc4parser:4:0:0 libcvc4compat:4:0:0 libcvc4bindings:4:0:0
1\.6-prerelease libcvc4:4:0:0 libcvc4parser:4:0:0 libcvc4compat:4:0:0 libcvc4bindings:4:0:0
1\.6 libcvc4:5:0:0 libcvc4parser:5:0:0 libcvc4compat:5:0:0 libcvc4bindings:5:0:0
1\.7-prerelease libcvc4:5:0:0 libcvc4parser:5:0:0 libcvc4compat:5:0:0 libcvc4bindings:5:0:0

0 comments on commit 8805781

Please sign in to comment.