From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 22 Jun 2018 20:12:07 +0000 (-0700)
Subject: Bump library version.
X-Git-Tag: cvc5-1.0.0~4953
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8805781adbfb3f57c4765307c82267b1fabdf2b4;p=cvc5.git

Bump library version.
---

diff --git a/library_versions b/library_versions
index 7e529a839..a3a4e9c64 100644
--- a/library_versions
+++ b/library_versions
@@ -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