projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ba717fb)
Bump library version.
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 22 Jun 2018 20:12:07 +0000 (13:12 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Mon, 25 Jun 2018 21:11:54 +0000 (14:11 -0700)
library_versions patch | blob | history

diff --git a/library_versions b/library_versions
index 7e529a8394a3b742d8224b50d0b52c5e8e5fc10d..a3a4e9c649f31840e008cd9fc561a853ad4ae739 100644 (file)
--- 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